function WriteDate(writeday)
{
	var mydate=new Date();
	var year=mydate.getYear();
	var day=mydate.getDay();
	var month=mydate.getMonth();
	var daym=mydate.getDate();
	if (year < 1000)
        year=year+1900;
	if (daym < 10) daym=""+daym;
	var dayarray=new Array('Dimanche','Lundi','Mardi','Mercredi','Jeudi','Vendredi','Samedi');
	var montharray=new Array('Janvier','Février','Mars','Avril','Mai','Juin','Juillet','Août','Septembre','Octobre','Novembre','Décembre');
	if (writeday)
		document.write(dayarray[day]+" ");
	document.write(daym+" "+montharray[month]+" "+year);
}