<!--javascript for menus-->

function showmenu(elmnt)
{
  document.getElementById(elmnt).style.visibility="visible"
}
function hidemenu(elmnt)
{
  document.getElementById(elmnt).style.visibility="hidden"
}