function MenuOn(x) {
  		obj=document.getElementById("pullmenu"+x)
  		.style.visibility="visible";
  } 
  
  
  function MenuOff(x) {
  		obj=document.getElementById("pullmenu"+x)
  		.style.visibility="hidden";
  }