/*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*/
function jumpToPage(targ, selObj, restore){

  eval(targ + ".location='" + selObj.options[selObj.selectedIndex].value + "'");
  if (restore) selObj.selectedIndex = 0;

}
/*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*/
function PopUp(url, width, height, typescroll) {
        var desktop = window.open( url, "_blank", "toolbar=no,location=no,status=no,menubar=no,scrollbars=yes,width="+width+",height="+height+"" );
}
/*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*/
function confirmMessage(msg) {
	return confirm(msg);
}

/*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*/
// Ajouter aux favoris
/*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*/
function addToFavorites(page_name){
	
	var page_url 	= window.location;
	page_name	= 'IFA Institut Français des Administrateurs';
	
	if ( navigator.appName != 'Microsoft Internet Explorer' ){ 
		window.sidebar.addPanel(page_name, page_url, ""); 
	}else{ 
		window.external.AddFavorite(page_url, page_name); 
	} 
}

/*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*/
// Redimensionnement des flashs
/*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*/
function updateSWFSize(_h, elmt){
	//pour les navigateurs qui ne connaissent pas getElementById() :
	if (!document.getElementById) {
		if (document.all)
			document.getElementById=function() {
			if ( typeof(document.all[arguments[0]]) != "undefined")
				return document.all[arguments[0]];
			else
				return null;
			}
		else if (document.layers)
			document.getElementById=function() {
				if ( typeof(document[arguments[0]]) != "undefined")
					return document[arguments[0]];
				else
					return null;
		}
	}
	
	if(elmt!="son"){
		document.getElementById("flash_video").style.height=_h+"px";
	}
	else{
		document.getElementById("flash_son").style.height=_h+"px";
	}
}