function initNav()
{var navRoot=document.getElementById("navigation");var lis=navRoot.getElementsByTagName("li");for(var i=0;i<lis.length;i++)
{lis[i].onmouseover=function()
{if(this.className.indexOf("hover")==-1)
{this.className+=" hover";}}
lis[i].onmouseout=function()
{this.className=this.className.replace("hover","");}}}
if(document.all&&!window.opera)
{window.attachEvent("onload",initNav);}