function nav (newclass) {

	document.getElementById("nav").className = newclass;
	
}