function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

onerror = keinfehler; 
function keinfehler() 
{return true;}

var dom = document.getElementById?1:0;
var ns4 = document.layers?1:0;


function showMenu(name,number) {

 var groups = 3;

 for (count = 1; count <= groups; count++) {
 var content = name + count;
 var active = name + number;

  if(dom) {
   if(content == active) {
    document.getElementById(active).style.visibility = 'visible';
    document.getElementById(active).onmouseover = clearShut;
    document.getElementById(active).onmouseout = setShut;
   }
   else {
    document.getElementById(content).style.visibility = 'hidden';
   }
  }
  else if(ns4) {
   if(content == active) {
    document[active].visibility = 'show';
    document[active].onmouseover = clearShut;
    document[active].onmouseout = setShut;
   }
   else {
    document[content].visibility = 'hide';
   }
  }
 }
 first = name, sec = number;
 clearShut();
}


function setShut() { 

timer = setTimeout("shut(first,sec)", 200);
}


function clearShut() {

if(window.timer)
clearTimeout(timer);
}


function shut(first,sec) {

 var active = first + sec;

 if(dom)
 document.getElementById(active).style.visibility = 'hidden';
 else if(ns4)
 document[active].visibility = 'hide';
}
 // Bei Link auf aktuelle Seite die CSS Klasse auf aktiv setzen
function highlightCurrentPageLink() {
// Alle Links durchlaufen und pruefen
var anzHrefs = document.getElementsByTagName("a").length;
for (var i = 0; i <= anzHrefs - 1; i++) {
// Link auf aktuelle Seite gefunden, also umsetzen CSS auf aktiv
if (document.getElementsByTagName("a")[i].href == document.location.href) {
var currentClassName = document.getElementsByTagName("a")[i].className;
var newClassName = currentClassName.replace(/inaktiv/,"aktiv");
document.getElementsByTagName("a")[i].className = newClassName;
}
}
}