// JavaScript Document
function cambiar()
{
		return;
		 document.getElementById('mensaje').style.fontSize = "0.7em";
		 document.getElementById('interior-zona-principal').style.height = "600px";
		 document.getElementById('titulo').style.fontSize = "0.6em";
}