// JavaScript Document

function redim_flash(valHeight)
{
	if(document.all && !document.getElementById) {
		
	} else {
		document.body.style.height = valHeight;
		document.getElementById("flash_fiche").height = valHeight;
	}
	var hauteur=valHeight+"px";
	document.getElementById('fiche').style.height = hauteur;
}