/* CONSTANTES */
var iframe_name= "iframeBEIdiso"
function redimensionarIframe(alturaPagina)
{
	var miIframe = document.getElementById(iframe_name);
	if ((miIframe != undefined) && (miIframe != null)){
		miIframe.height = Number(alturaPagina) + 30;
	}
}