var untermenu=null;var timeout=null;function zeigeMenu (id) {   if (timeout!=null) { window.clearTimeout(timeout); }   untermenu_alt=untermenu;   untermenu=document.getElementById(id);   if (untermenu==untermenu_alt) { return; }   MM_swapImgRestore();   if (untermenu_alt!=null) { untermenu_alt.style.visibility='hidden'; }   if (untermenu!=null) { untermenu.style.visibility='visible'; }}function versteckeMenu (delay) {   if (delay>0) {      timeout=window.setTimeout('versteckeMenu(0)',delay);      return;   }   if (untermenu!=null) { untermenu.style.visibility='hidden'; }   MM_swapImgRestore();   untermenu=null;   timeout=null;}