if(window.navigator.systemLanguage && !window.navigator.language) {
				function hoverIE() {
					var LI = document.getElementById("zeile").firstChild;
					do {
						if (sucheUL(LI.firstChild)) {
							LI.onmouseover=einblenden; 
							LI.onmouseout=ausblenden;
							}
						LI = LI.nextSibling;
						}
					while(LI);
					}
				
				function sucheUL(UL) {
					do {
						if(UL) UL = UL.nextSibling;
						if(UL && UL.nodeName == "UL") return UL; // && UL.nodeName == "UL": für Geckos, da "\n"s und andere Zeichen als "#text"-Sibling gelten
						}
					while(UL);
					return false;
					}
				
				function einblenden() {
					sucheUL(this.firstChild).style.display = "block";
					}
				
				function ausblenden() {
					sucheUL(this.firstChild).style.display = "none";
					}
				
				window.onload=hoverIE;
				}