function menuOnMouseOver(){if(this.className.indexOf(" MenuHover")==-1)
this.className+=" MenuHover";}
function menuOnMouseOut(){this.className=this.className.replace(" MenuHover","");}
function menuHover(){var menuItems=document.getElementById("Navigation").getElementsByTagName("li");for(var i=0;i<menuItems.length;++i){menuItems[i].onmouseover=menuOnMouseOver;menuItems[i].onmouseout=menuOnMouseOut;}}
if(window.attachEvent)window.attachEvent("onload",menuHover);