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