// Funktionen fuer Rollover (obere Navi)var menuLen = new Array(6);var menuAct = new Array(5);var mainMenuAct = new Array(5);var mainMenuLen = 5;menuLen[0] = 6;menuLen[1] = 4;menuLen[2] = 5;menuLen[3] = 6;menuLen[4] = 3;function moveCover(menu) {  document.getElementById("menuCover" + menu).style.visibility = "hidden";  document.getElementById("menuCover" + menu + "u").style.visibility = "visible";}function stopCover(menu) {  if (!menuAct[parseInt(menu)]) {    downCover(menu);  }}function downCover(menu) {    document.getElementById("menuCover" + menu).style.visibility = "visible";    document.getElementById("menuCover" + menu + "u").style.visibility = "hidden";}function boldLink(menu) {  for (i=0; i<mainMenuLen; i++) {    if (menuAct[i + 1] && !menuAct[parseInt(menu.substring(0,1))]) {      downCover((i + 1) + "");    }    menuAct[i + 1] = false;    for (j=0; j<menuLen[i]; j++) {      document.getElementById((i + 1) + "" + (j + 1)).className = "topnav";    }  }  menuAct[parseInt(menu.substring(0,1))] = true;  document.getElementById(menu).className = "topnavbold";}
