if(top.frames.length > 0) top.location.href=self.location;

var DOM = 0, MS = 0, NS = 0, OP = 0, IE = 0;

// PHP Layers Menu 3.1.2 (C) 2001-2003 Marco Pratesi
DOM = (document.getElementById) ? 1 : 0;
NS4 = (document.layers) ? 1 : 0;
// We need to explicitly detect Konqueror
// because Konqueror 3 sets IE = 1 ... AAAAAAAAAARGHHH!!!
Konqueror = (navigator.userAgent.indexOf("Konqueror") > -1) ? 1 : 0;
// We need to detect Konqueror 2.2 as it does not handle the window.onresize event
Konqueror22 = (navigator.userAgent.indexOf("Konqueror 2.2") > -1 || navigator.userAgent.indexOf("Konqueror/2.2") > -1) ? 1 : 0;
Konqueror30 = (navigator.userAgent.indexOf("Konqueror 3.0") > -1 || navigator.userAgent.indexOf("Konqueror/3.0") > -1) ? 1 : 0;
Konqueror31 = (navigator.userAgent.indexOf("Konqueror 3.1") > -1 || navigator.userAgent.indexOf("Konqueror/3.1") > -1) ? 1 : 0;
// We need to detect Konqueror 3.2 as it is affected by the see-through effect only for 2 form elements
Konqueror32 = (navigator.userAgent.indexOf("Konqueror 3.2") > -1 || navigator.userAgent.indexOf("Konqueror/3.2") > -1) ? 1 : 0;
Opera = (navigator.userAgent.indexOf("Opera") > -1) ? 1 : 0;
Opera5 = (navigator.userAgent.indexOf("Opera 5") > -1 || navigator.userAgent.indexOf("Opera/5") > -1) ? 1 : 0;
Opera6 = (navigator.userAgent.indexOf("Opera 6") > -1 || navigator.userAgent.indexOf("Opera/6") > -1) ? 1 : 0;
Opera56 = Opera5 || Opera6;

OP = Opera;
IE = (navigator.userAgent.indexOf("MSIE") > -1) ? 1 : 0;
IE = IE && !Opera;
IE5 = IE && DOM;
IE4 = (document.all) ? 1 : 0;
IE4 = IE4 && IE && !DOM;
if(document.all && !OP) { MS = 1; }
if(document.layers && !OP) { NS = 1; }

window.resizeTo(screen.width,screen.height-25);
window.moveTo(0,0);

function startMenu() {
 var abstand = 0; 
 if ( OP ) { abstand = 8; } 
 document.write(" <div id=\"Nav\" class=\"menue\" ");
 document.write(" style=\"right:" + abstand );
 document.write("px; \" >");
}

function setPosition() {
 if (DOM && !IE) { document.getElementById("Nav").style.position="fixed"; }
 else if(IE) {
  document.getElementById('Nav').style.top = document.body.scrollTop + 108;
  window.setTimeout('setPosition()',1);
 }
 return void(0);
}