// JavaScript Document

<!-- script pour faire apparaître et disparaitre les div contenant les fichiers flash-->
function openDiv(nom) {
	var url = "videos/"+nom+".html";
	closeDiv();
	
	//document.getElementById('div_videos').setAttribute("class", nom);
	$('div_videos').className = nom;
	document.getElementById('div_videos').style.display = "block";
	
	new Ajax.Updater('div_videos', url);
	//flashAnim1.Play();
}

function closeDiv(n) {
	if(document.getElementById('div_videos').style.display != "none") {
		$('div_videos').update('');
		document.getElementById('div_videos').style.display = "none";
	}
}