function disp(txt) {document.write(txt);}

function don_date_jour(){var date_jour=new Date();date_jour=don_date_format(date_jour);return date_jour;}

function don_date_format(d1) {
    var m=new Array(13);
    m[1]="Janvier";m[2]="Février";m[3]="Mars";m[4]="Avril";m[5]="Mai";m[6]="Juin";m[7]="Juillet";m[8]="Aout";m[9]="Septembre";m[10]="Octobre";m[11]="Novembre"; m[12]="Décembre";
    var d=new Array(8);
    d[1]="Dimanche";d[2]="Lundi";d[3]="Mardi";d[4]="Mercredi";d[5]="Jeudi";d[6]="Vendredi";d[7]="Samedi";
    var mois=m[d1.getMonth()+1];
    var jour=d[d1.getDay()+1];
    var date=d1.getDate();
    var an=d1.getYear();
    if (an<200) an=1900+an;date=jour+" "+date+" "+mois+" "+an;
    return date;}