function muestra_menu() {document.write(' '); }