<!--//
// Función que muestra/oculta una opción del menú del catálogo
function muestraOcultaOpcionCatalogo() {
	cual = arguments[0]
	
	if(document.getElementById(cual)) {
		if(document.getElementById(cual).style.display == '') document.getElementById(cual).style.display = 'none'
		else document.getElementById(cual).style.display = ''
		}	// existe el elemento
	}	// function muestraOcultaOpcionCatalogo()
//-->