// JavaScript Document

var logoactual;

function cambialogo(logo_in) {
	/* La primera vez que cambiamos logo, se guarda cual es el original */
	if (logoactual == null) { logoactual = document.getElementById('logotipo').src; }
	document.getElementById('logotipo').src = logo_in;
}
function retornalogo() {
	/* Al dejar de navegar el menú, se retorna el logo original a la página */
	if (logoactual != null) { document.getElementById('logotipo').src = logoactual; }
}