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