// JavaScript Document
function resize(altura) {   
	contieneflash = document.getElementById('flashcontenedor').style;
	contieneflash.height = altura+'px';
	flashObj = document.getElementById('titflash').style;
	flashObj.height = altura+'px';
    }