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

    // armazena qual o item de menu foi selecionado
    lastHighlightedMenu=myDiv; 
    myDiv.style.display="block";        
  }

  function topmenuHighlight(menuIndex) {      
    var myDiv = document.getElementById("topmenu"+menuIndex);
   
    myDiv.style.color="#4A4A24";      
    myDiv.style.background = "#fff";
  }

  function topmenuOut(menuIndex) {      
    var myDiv = document.getElementById("topmenu"+menuIndex);
    
    myDiv.style.color="#fff";
    myDiv.style.background = "url('../images/a17_full.gif') repeat-x";
  }


  function menuDisappear() {
    //  retorna true se diferente de null ou undefined
    if(lastHighlightedMenu) 
      lastHighlightedMenu.style.display="none";
  }