<!--
// Browsercheck-Objekt und einige andere hilfreiche Funktionen...

function BrowserCheck()
{
  var b=navigator.appName;
  if (b=="Netscape") this.b="ns";
  else 
	{ 
	if (b=="Microsoft Internet Explorer") this.b="ie";
    if (b=="Safari") this.b="sf"; 
	if (b=="Mozilla") this.b="mz"; 
	else this.b=b; 
	}

  this.sf=(this.b=="sf");       // "true" falls Safari
  this.mz=(this.b=="mz");       // "true" falls Mozilla

  this.version=navigator.appVersion;
  this.v=parseInt(this.version);
  
  this.ns=((this.b=="ns") && (this.v>=4));       // "true" falls NS >= 4
  this.ns4=((this.b=="ns") && (this.v==4));
  this.ns5=((this.b=="ns") && (this.v==5));
  
  this.ie=((this.b=="ie") && (this.v>=4));       // "true" falls IE >= 4
  this.ie4=(this.version.indexOf('MSIE 4')>0);
  this.ie5=(this.version.indexOf('MSIE 5')>0);
  this.ie6=(this.version.indexOf('MSIE 6')>0);  
  
  this.pc=(navigator.platform.substring(0,3)=="Win") ? true : false;
  this.mac=(navigator.platform.substring(0,3)=="Mac") ? true : false;

  this.min=((this.ns) || (this.ie) || (this.sf) || (this.mz));   // zugelassene Browser
}
is=new BrowserCheck();

function WinAttrib() 
{
  if (is.ie)
  {
    this.width=document.body.clientWidth;
    this.height=document.body.clientHeight;
  }
  if (is.ns)
  {
    this.width=window.innerWidth;
    this.height=window.innerHeight;
  }
}
//win=new WinAttrib();

function BrowserSwitch(nexturl)
{ 
 if (is.v<4) { top.location.href="/browser/oldbrows.html"; return; }
 if (is.min) 
 {
  if (document.getElementById) { anim=document.getElementById("foo").style; }
  else if (document.layers) { anim=document.foo; }
  else if (document.all) { anim=document.all.foo.style; }
  typ=typeof anim;
  if (typ=="undefined") document.location.href="/browser/nostyle.html";
  else document.location.replace(nexturl);
 }
 return;
}

function dom(ID)
{
 if (document.getElementById) { return document.getElementById(ID); }
 else if (document.layers) { return eval("document."+ID); }
 else if (document.all) { return eval("document.all."+ID); }
}

function domstyle(ID)
{
 if  (document.getElementById) { return document.getElementById(ID).style; }
 else if (document.layers) { return eval("document."+ID); }
 else if (document.all) { return eval("document.all."+ID+".style"); }
}
//-->