function over_me(div_id, value)
		{
			document.getElementById(div_id).style.visibility=value;
		}
		function formatNav()
		{
			var nav=document.getElementById("navigation");			
			if(nav!=null)
			{
				var links= nav.getElementsByTagName("a");
				if(links!=null)
				   links[0].style.background="none";
			}
		}