function Is() {
    var agent = navigator.userAgent.toLowerCase();
    this.win   = (agent.indexOf("win")!=-1);      // WINDOWS
    this.mac   = (agent.indexOf("mac")!=-1);      // MAC
	this.sun   = (agent.indexOf("sunos")!=-1);    // SUN
    this.irix  = (agent.indexOf("irix") !=-1);    // SGI
    this.hpux  = (agent.indexOf("hp-ux")!=-1);    // HP
    this.aix   = (agent.indexOf("aix")  !=-1);    // IBM
    this.linux = (agent.indexOf("inux")!=-1);     // LINUX
    this.unix  = ((agent.indexOf("x11")!=-1) || this.sun || this.irix || this.hpux || 
                 this.aix || this.linux);
}

// dise css gibt es anscheindend schon lange nicht mehr
// var is = new Is();

// if(is.unix || is.mac) {document.writeln('<LINK REL="STYLESHEET" TYPE="text/css" HREF="/css/macunix.css">')}
// else if(is.win) {document.writeln('<LINK REL="STYLESHEET" TYPE="text/css" HREF="/css/win.css">')}

function popit(theURL,winName,features) {window.open(theURL,winName,features);}

NS4=(document.layers)
IE4=(document.all)
ver4=(NS4 || IE4)
var optionString,mainWin

function popper(thisUrl,thisName,thisWidth,thisHeight,thisTop,thisLeft,thisScroll)  {
optionString = ('width=' + thisWidth + ',height=' + thisHeight + ',top=' + thisTop + ',left=' + thisLeft + ',status=no,menubar=no,resizable=no,scrollbars=' + thisScroll + '');
mainWin = window.open(thisUrl,thisName,optionString);
     }
  
function UpdateNav() {
if (NS4) { self.location.reload(); }
}

function Frames(URL1,F1,URL2,F2,URL3,F3)
{  
    parent.frames[F1].location.href=URL1;
    parent.frames[F2].location.href=URL2;
    parent.frames[F3].location.href=URL3;
}

   function txt(text)
   {
    window.status = text;
    setTimeout("endtxt()",3500);
    }

   function endtxt()
   {
    window.status="";
   }
   window.onerror=null;