function initMenu(){var nodes = document.getElementById("nav").getElementsByTagName("li");for (var i=0; i<nodes.length; i++){nodes[i].onmouseover = function(){this.className += " hover";}nodes[i].onmouseout = function(){this.className = this.className.replace(" hover", "");}}}if (document.all && !window.opera) attachEvent("onload", initMenu);