function hover()
{
  var navItems = document.getElementById("menu").getElementsByTagName("li");
  for(var i=0; i<navItems.length; i++)
  {
    navItems[i].onmouseover=function() { this.saveClass = this.className; this.className += " over"; }
    navItems[i].onmouseout=function() { this.className = this.saveClass; }
  }
}
if(navigator.userAgent.indexOf('Safari') == -1) window.onload = hover;