function showMenu(event,t,l){
	if (browserable="true"){
		menu = document.getElementById(event); 
		menu.style.top=t
		menu.style.left=l
		menu.style.visibility="visible";
	}
}

function keepVisible(event){
	divmenu = document.getElementById(event);
	divmenu.style.visibility="visible";
	divvis = "true";
}
	
function hideVisible(event){
	if (divvis=="true"){
	divmenu = document.getElementById(event);
	divmenu.style.visibility="hidden";
	divvis = "false";
	}
}