var Ergebnis = navigator.userAgent.search(/Netscape.+/);
if (Ergebnis == -1){

initialized=new Array(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0);//start-flags pro menupunkt, ob ein timeout auf die anzeigefunktion laeuft
stati=new Array(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0);//hover stati der einzelnen menupunkte
var menuback="#ddd";
var dummy0=new Image();//blauen Pfeil in den Browsercache laden
dummy0.src="images/pfeil_navi_hover.gif";
var dummy1=new Image();//hellen verlauf der menupunkte laden
dummy1.src="images/gradient_navi_hover.gif";

function init(menuID,hoverstatus,submenuID){
		if(hoverstatus==1&&submenuID>=1){document.getElementById("navi"+menuID+"_"+submenuID).style.backgroundColor="#eaeff4";}//untermenupunkt hintergrundfarbe
		if(hoverstatus==0&&submenuID>=1){if(submenuID%2==1){menuback="#ddd";}else{menuback="#d0d0d0";}
			document.getElementById("navi"+menuID+"_"+submenuID).style.backgroundColor=menuback;}//untermenupunkt hintergrundfarbe
		stati[menuID]=hoverstatus;//aktuellen hoverstatus setzen
		if(initialized[menuID]==0){//falls noch kein timeout auf anzeigefunktion laeuft, starte jetzt
		initialized[menuID]=1;//setze start-flag
		window.setTimeout("anzeige("+menuID+")",70);//timeout auf anzeigefunktion in 1/20 sek
	}}

function anzeige(menuID){//anzeigefunktion
		if(stati[menuID]==1){if(document.getElementById("menu"+menuID)){document.getElementById("menu"+menuID).style.display="block";}//untermenu einblenden
							 document.getElementById("navi"+menuID).style.backgroundColor="#eee";//menupunkt hintergrundfarbe
							 document.getElementById("navi"+menuID).style.backgroundImage="url(/images/gradient_navi_hover.jpg)";//menupunkt hintergrundbild
							 document.getElementById("pfeil"+menuID).src="images/pfeil_navi_hover.gif";//Pfeil blau
							 document.getElementById("navi"+menuID).parentNode.style.color="#78a";}//menupunkt textfarbe
		if(stati[menuID]==0){if(document.getElementById("menu"+menuID)){document.getElementById("menu"+menuID).style.display="none";}//untermenu ausblenden
							 document.getElementById("navi"+menuID).style.backgroundColor="#666";//menupunkt hintergrundfarbe
							 document.getElementById("navi"+menuID).style.backgroundImage="url(images/gradient_navi.jpg)";//menupunkt hintergrundbild
							 document.getElementById("pfeil"+menuID).src="images/pfeil_navi.gif";//Pfeil weiss
							 document.getElementById("navi"+menuID).parentNode.style.color="#fff";}//menupunkt textfarbe
		initialized[menuID]=0;
	}}