<!--
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=""
		} 
}
//-->