function changeNav(navid){
	var thediv = document.getElementById(navid);
	thediv.className = "current";
}