// JavaScript Document
function menuclass(menuid){
	for(var i=0;i<7;i++){
		document.getElementById("nav_"+i).className="";
	}
	document.getElementById("nav_"+menuid).className="hov";
}