var lastHighlightedMenu=null;
function menuHighlight(menuIndex){
menuDisappear();
var myDiv = document.getElementById("menu"+menuIndex);
lastHighlightedMenu=myDiv;
myDiv.style.display="block";
}

function menuDisappear(){
if(lastHighlightedMenu)
lastHighlightedMenu.style.display="none";
}