navHover = function() {
        var lis = document.getElementById("header_menu").getElementsByTagName("LI");
        for (var i=0; i<lis.length; i++) {
	if (!(lis[i].className.match(/\active\b/))) {
                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);