function $(e) {return document.getElementById(e);}
function Id(e) {return document.getElementById(e);}
window.onload= function(){
    var li = Id('HeaderNav').getElementsByTagName('li');
    for (var i=0; i<li.length; i++) {
      if(li[i].className == ""){
          li[i].onmouseout = function() {
            this.className = "";
          }
          li[i].onmouseover = function() {
            this.className = "hover";                
          }
      }
    }
}