function toggleDiv(what)
	  {
	    divName = document.getElementById(what);
	   if (divName.style.visibility == "hidden")
	    {
	  	 divName.style.visibility = "visible";
	  	 divName.style.display = "";
	    }
	  else
	  	{
		 divName.style.visibility = "hidden";
	  	 divName.style.display = "none";
		}
	  }