function showmenu(elmnt) 
{
	// This function shows the menu options table.

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

function hidemenu(elmnt) 
{
	// This function hides the menu options table.
     document.getElementById(elmnt).style.visibility="hidden";
}