function ShowMenu(menu)
{
  document.getElementById(menu).style.display='block';
}
function HideMenu(menu)
{
  document.getElementById(menu).style.display='none';
}