function nav_off()
	{
		document.getElementById('nav').style.display = "none";
	}
	
	function nav_on()
	{
		document.getElementById('nav').style.display = "block";
	}