function navshow(nav_point){
	for (var i = 1; i <= 5; i++) {
		document.getElementById("navhidden"+i).className = "hidden"
	}
	document.getElementById(nav_point).className = "not_hidden"
}