//<SCRIPT LANGUAGE="JavaScript">
flag = true;
function Menu(){
	if (flag) {
		NaviMenu.style.posLeft = 10;
		NaviMenu.style.posTop = 10;
		NaviMenu.style.visibility = "visible";
		flag = false;
	}
	else {
		NaviMenu.style.visibility = "hidden";
		flag = true;
	}
}
document.ondblclick = Menu;
//</SCRIPT>