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