function newSize(datoY) {
	if(document.all && !document.getElementById) {
		document.all['miFlash'].style.pixelHeight = datoY;
	}
	else{
		document.getElementById('miFlash').style.height = datoY;
	}
}