function hmenuhover(){
                if (!document.getElementById("hmenu")) 
                    return;
                var lis = document.getElementById("hmenu").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", hmenuhover);