var t;
function show(){
 var e = document.getElementById("jumpMenu");
	e.style.display = "block";
	clearTimeout(t);
}
function hide(){
 var e = document.getElementById("jumpMenu");
	e.style.display = "none";
}
function timeoutHide(){
	t=setTimeout("hide()",100);
}