function IEHoverPseudo() {

	var navItems = document.getElementById("nav").getElementsByTagName("li");

	for (var i=0; i<navItems.length; i++) {

			navItems[i].onmouseover=function() { this.className = "a.topmenue2"; }

		}


}