<!--
var pr=document.getElementById("nav").getElementsByTagName("li");
for(var i=0;i<pr.length;i++){
pr[i].onmouseover=function(){
  this.className="hover"
} 
pr[i].onmouseout=function(){
  this.className=""
} 
}
//-->