/* Next 2 functions are for hiding and showing the drop down section of the main menu bar*/

function showmenu(elmnt)
{
	document.getElementById(elmnt).style.visibility="visible";
}

function hidemenu(elmnt)
{
	document.getElementById(elmnt).style.visibility="hidden";
}