function toggleNav ()
	{
		if (document.getElementById ("navcell").style.display == "none")
		{
			showNav ();
		}
		else
		{
			hideNav ();

		}
	}
	
	function showNav ()
	{
		document.getElementById ("navcell").style.display = ""
		document.getElementById ("maincell").style.width = "836px"
	}
	
	function hideNav ()
	{
		document.getElementById ("navcell").style.display = "none"
		document.getElementById ("maincell").style.width = "1000px"
	}