<!--
  function showMenu(){
     menu = document.getElementById("pullDown");
     menu.style.visibility = "visible";
  }
  function hideMenu(){
     menu = document.getElementById("pullDown");
     menu.style.visibility = "hidden";
  }

//-->