navHover = function() {
var lis = document.getElementById("navmenu").getElementsByTagName("LI");
for (var i=0,l=is.length; i<l; i++) {
lis[i].onclick=function() {
var reg = /iehover$/;
if (reg.test(this.className))
this.className=this.className.replace(reg, "");
else this.className+=" iehover";
}
}
}
if (window.attachEvent) window.attachEvent("onload", navHover);