if (window.navigator.systemLanguage && !window.navigator.language) {
	hoverIE = {

		elmID : "leftmenu", // hier steht die ID des Elternelements der Klapp-Navi
		cssKlasse : "hoverIE", // Klasse, die den gehoverten LI-Elementen gegeben wird, wenn diese weitere UL-Elemente enthalten

		init : function () {
			var LI = document.getElementById(this.elmID).getElementsByTagName("li")[0];
			do {
				if (this.sucheUL(LI.firstChild)) {
					LI.onmouseover = hoverIE.einblenden;
					LI.onmouseout = hoverIE.ausblenden;
				}
				LI = LI.nextSibling;
			} while (LI);
		},

		sucheUL : function (UL) {
			do {
				if (UL)
					UL = UL.nextSibling;
				if (UL && UL.nodeName == "UL")
					return UL;
			} while (UL);

			return false;
		},

		einblenden : function () {
			if (hoverIE.sucheUL(this.firstChild))
				this.className += " hoverIE";
		},

		ausblenden : function () {
			this.className = this.className.replace(" " + hoverIE.cssKlasse, "");
		}
	}

	hoverIE.oldWinOnLoad = window.onload; // alten window.onload umleiten
	window.onload = function () {
		if (typeof(hoverIE.oldWinOnLoad) == "function")
			hoverIE.oldWinOnLoad();
		hoverIE.init();
	};
}