AddIEHover = function(nav) {
  if (document.all&&document.getElementById(nav)) {
    var listitems = document.getElementById(nav).getElementsByTagName("LI");
    for (i = 0; i<listitems.length; i++) {
      listitems[i].onmouseover = function() {
        this.className += " over";
      }
      listitems[i].onmouseout = function() {
        this.className = this.className.replace(" over", "");
      }
    }
  }
}
window.onload=function()  {
  AddIEHover("nav");
}