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]="août";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;}