//
// Drop down menu functions
//

	function showDropDown()
	{
		drop = document.getElementById("dropdown");
		drop.style.visibility="Visible";
	}
	
	function hideDropDown()
	{
		drop = document.getElementById("dropdown");
		drop.style.visibility="Hidden";
	}