function display_date() {

   date = new Date();

   var day_of_week_number = date.getDay(); 
   var year = date.getYear();
   var month_number = date.getMonth();
   var day_of_month = date.getDate();
   var day_of_week = '';
   var month = ''
   
   if(day_of_week_number == 0){day_of_week = 'dimanche';}
   if(day_of_week_number == 1){day_of_week = 'lundi';}
   if(day_of_week_number == 2){day_of_week = 'mardi';}
   if(day_of_week_number == 3){day_of_week = 'mercredi';}
   if(day_of_week_number == 4){day_of_week = 'jeudi';}
   if(day_of_week_number == 5){day_of_week = 'vendredi';}
   if(day_of_week_number == 6){day_of_week = 'samedi';}

   if(month_number == 0){month = 'janvier';}
   if(month_number == 1){month = 'février';}
   if(month_number == 2){month = 'mars';}
   if(month_number == 3){month = 'avril';}
   if(month_number == 4){month = 'mai';} 
   if(month_number == 5){month = 'juin';}
   if(month_number == 6){month = 'juillet';}
   if(month_number == 7){month = 'août';}
   if(month_number == 8){month = 'septembre';}
   if(month_number == 9){month = 'octobre';}
   if(month_number == 10){month = 'novembre';}
   if(month_number == 11){month ='décembre';}

    var date_to_show = day_of_week + ', ' + day_of_month + '. ' + month ; 

   document.write('<LEFT><font face="Verdana" size="1">' + date_to_show.fontcolor("#003366") + '</B></LEFT>');
 
}