function showmenu(elmnt)
  {document.getElementById(elmnt).style.visibility="visible"}
function hidemenu(elmnt)
  {document.getElementById(elmnt).style.visibility="hidden"}
function inset(elmnt)
  {elmnt.style.border="inset 2"}
function outset(elmnt)
  {elmnt.style.border="outset 2"}