// JavaScript Document

function hauteur_fenetre()
{
 if (window.innerHeight) return window.innerHeight  ;
 else if (document.body && document.body.offsetHeight) return document.body.offsetHeight;
 else return 0;
}
	function setSizeFlash(size){	
		if(size){
			document.getElementById("flashcontent").style.height =size+"px";		
		}else{
			document.getElementById("flashcontent").style.height=hauteur_fenetre();
		}
	}