navHover = function() {
				uls = document.getElementsByTagName("UL");
				for (a = 0; a < uls.length; a++)
				{
					var lis = uls[a].getElementsByTagName("LI");
					for (var i=0; i<lis.length; i++) {
						lis[i].onmouseover=function() {
							this.className+=" iehover";
						}
						lis[i].onmouseout=function() {
							this.className=this.className.replace(new RegExp(" iehover\\b"), "");
						}
					}
				}
			}
			if (window.attachEvent) window.attachEvent("onload", navHover);