function initMenu(){var nodes=document.getElementById("menu").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)}