// JavaScript Document
function cambiaAltoDiv(alto){
	document.getElementById('FOTO_NOTICIA').style.height = alto;
}