function menu (logo, visible)
{
  if (document.getElementById)
    {
    document.getElementById(logo).style.visibility = visible;
    }
  else 
    {
      document[logo].visibility = visible;
    } 
 }