function add_class(){
	var nav=document.getElementById("nav_num").value;
	document.getElementById("nav"+nav).className="current";
}