// JavaScript Document

startList = function() {
  if (document.all&&document.getElementById) {
    i = 1;
    while(i) {
      name = "nav"+i
      node = document.getElementById(name);
      if(!node) {
	return;
      }

      node.onmouseover=function() {
        this.className+=" over";
      }

      node.onmouseout=function() {
        this.className=this.className.replace(" over", "");
      }

      i = i+1;
    }
  }
}

window.onload=startList;