//Dieser Script wird dort verwendet, wo die Navigationslayer gebraucht werden
  var menue = new Array();
// div Menues und -bestandteile initialisieren
    for (i=0;i<verzeichnis.length;i++){
      if (isNav) menue[i]=document["menu"+String(i)];
      if (isIE) menue[i]=document.all["menu"+String(i)].style;    
      if ((isW3C)||(opera)) menue[i] = document.getElementById("menu"+String(i)).style; 
    }

      if (isNav) menukill1=document.menuHideTop;
      if (isIE) menukill1=document.all.menuHideTop.style;
      if (isW3C) menukill1 = document.getElementById("menuHideTop").style; 
    
      if (isNav) menukill2=document.menuHideBottom;
      if (isIE) menukill2=document.all.menuHideBottom.style;
      if (isW3C) menukill2 = document.getElementById("menuHideBottom").style; 

// menue zeigen oder verstecken, wird in toggleMenupunkt verwendet
function toggleMenu(divstatus){
	for (var i=0; i<(toggleMenu.arguments.length-1); i++)	{
		var divname = toggleMenu.arguments[i+1];
		divname.visibility = divstatus;
	}
}

// Menuepunkte highlighten
function toggleMenupunkt(divstatus){
if (pageLoaded){
  if (toggleMenupunkt.arguments.length > 1){
    var bildname = toggleMenupunkt.arguments[1];    
    var menuNum = toggleMenupunkt.arguments[2];
    var was = toggleMenupunkt.arguments[3];//mo oder na
  }

    if (isNav) {					
    document.layers["menu"+menuNum].document.images[bildname].src=pfad+"images/"+bildname+"_"+was+".gif";     
    }    
    if (isIE || isW3C) {
    document.images[bildname].src = pfad+"images/"+bildname+"_"+was+".gif";
  }
 }//ende if pageloader
}

function killMenues() {
  if(pageLoaded){
    toggleMenu('hidden',menukill1,menukill2);
    for (i=0;i<verzeichnis.length;i++){
      toggleMenu('hidden',menue[i]);
    }       
    bildwechsel('specials','na');bildwechsel('abenteuer','na');bildwechsel('aktiv','na');bildwechsel('wellness','na');bildwechsel('kultur','na');bildwechsel('ausflug','na');
    }
  }
    
//einfacher Mouseover
function bildwechsel(bildname,was){
   document[bildname].src = pfad+"images/n_"+bildname+"_"+was+".gif";
	 if ((aktiv)&&(aktiv!='startseite')) {
   document[aktiv].src = pfad+"images/n_"+aktiv+"_mo.gif";	 
	 }
}