<!--
function mudaMenu(sTexto){
div_menu.innerHTML = '&nbsp; '+ sTexto;}
-->