var jshover = function(){
  var nodes = document.getElementById("menu").getElementsByTagName("li");  
  for (var i=0; i<nodes.length; i++){
		nodes[i].onmouseover = function(){
		if (this.className != "border" && this.className != "sub_high" && this.className != "sub_low") {
		  this.className = "jshover";
		  };
	}
	nodes[i].onmouseout = function(){
		if (this.className != "border" && this.className != "sub_high" && this.className != "sub_low") {
		  this.className = "";
		  };
	}
  }
}
if (window.attachEvent && navigator.userAgent.indexOf("Opera")==-1) window.attachEvent("onload", jshover);