<!--
//******* FUNCIONES PARA EL MANEJO DE MENUS  *******

function mostrarMenu(menu) {
	document.getElementById(menu).style.visibility = "visible";
	document.getElementById(menu).style.display = "block";
	}

function ocultarMenu(menu) {
	document.getElementById(menu).style.visibility = "hidden";
	document.getElementById(menu).style.display = "none";
	}
-->