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);