var nav = document.getElementById('nav');
if (nav!=null) {
  var rows = nav.getElementsByTagName('li');
  for (var i = 0; i < rows.length; i++) {
    rows[i].onmouseover = function() {
      this.className += ' hilite';
    }
    rows[i].onmouseout = function() {
      this.className = this.className.replace('hilite', '');
    }
    rows[i].onclick = function() {
  	  l = this.getElementsByTagName('a');
      location.href=l[0].href;
    }
  }
}