// affiche diffrentes images sur la premire page
		var bn = navigator.appName; 
	var bv = parseFloat(navigator.appVersion);
	var IE = (bn == "Microsoft Internet Explorer"); 
	var IE3 = (IE && bv >= 3); 
	var IE4 = (IE && bv >= 4); 
	var IE41 = (IE && bv >= 4 && navigator.appVersion.indexOf('MSIE 4.0;') < 0 && navigator.appVersion.indexOf('MSIE 4.01;') < 0);
	var NS = (bn == "Netscape"); 
	var NS3 = (NS && bv >= 3); 
	var NS4 = (NS && bv >= 4); 
	var NS41 = (NS && bv >= 6);
	
	var n = 1; // image par dfault
	var r = 2; // nombre total d'images -1
	if (IE3 || NS3) {n = (Math.round(Math.random()*r) + 1);} // Math.random ne fonctionne pas avec NS2
	
	var a = 1; // image par dfault
	var b = 3; // nombre total d'images -1
	if (IE3 || NS3) {a = (Math.round(Math.random()*b) + 1);} // Math.random ne fonctionne pas avec NS2
	function random_image6(){
		document.write('<img src="Images/Coter/'+a+'.gif" WIDTH="193" HEIGHT="554" border=0>');
		}
	
	function random_image1(){
		document.write('<img src="Images/Central/'+n+'.jpg" WIDTH="900" HEIGHT="465" border=0>');
		}
	function random_image2(){
		document.write('<td height="142px" width="182px" valign="top"><img usemap="#Map1" src="Images/Bas1/'+n+'.jpg" border=0/></td>');
		}
	function random_image3(){
		document.write('<td  height="142px" width="182px" valign="top"><img usemap="#Map2" src="Images/Bas2/'+n+'.jpg" border=0/></td>');
		}
	function random_image4(){
		document.write('<td height="142px" width="182px" valign="top"><img usemap="#Map3" src="Images/Bas3/'+n+'.jpg" border=0/></td>');
		}
	function random_image5(){
		document.write('<td background="Images/Bas4/'+n+'.jpg" height="142px" width="354px" valign="top">');
		}		

	function Tableau(n) { 
		this.length=n; 
		return this; } 
		function DateMAJ() { 
		NomMois=new Tableau(12) 
		NomMois[1]="janvier" 
		NomMois[2]="f&eacute;vrier" 
		NomMois[3]="mars" 
		NomMois[4]="avril" 
		NomMois[5]="mai" 
		NomMois[6]="juin" 
		NomMois[7]="juillet" 
		NomMois[8]="ao&ucirc;t"
		NomMois[9]="septembre" 
		NomMois[10]="octobre" 
		NomMois[11]="novembre" 
		NomMois[12]="d&eacute;cembre"
		Date = new Date(document.lastModified) 
		var Mois=NomMois[Date.getMonth()+1] 
		var date = document.lastModified;
		var an = date.charAt(6)+date.charAt(7)+date.charAt(8)+date.charAt(9);
		return Date.getDate()+" "+Mois+" "+an }