function show(){
 var e = document.getElementById("jumpMenu");
	e.style.display = "inline";
}
function hide(){
 var e = document.getElementById("jumpMenu");
	e.style.display = "none";
}