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 = 'Sonntag';}
   if(day_of_week_number == 1){day_of_week = 'Montag';}
   if(day_of_week_number == 2){day_of_week = 'Dienstag';}
   if(day_of_week_number == 3){day_of_week = 'Mittwoch';}
   if(day_of_week_number == 4){day_of_week = 'Donnerstag';}
   if(day_of_week_number == 5){day_of_week = 'Freitag';}
   if(day_of_week_number == 6){day_of_week = 'Samstag';}

   if(month_number == 0){month = 'Januar';}
   if(month_number == 1){month = 'Februar';}
   if(month_number == 2){month = 'März';}
   if(month_number == 3){month = 'April';}
   if(month_number == 4){month = 'Mai';} 
   if(month_number == 5){month = 'Juni';}
   if(month_number == 6){month = 'Juli';}
   if(month_number == 7){month = 'August';}
   if(month_number == 8){month = 'September';}
   if(month_number == 9){month = 'Oktober';}
   if(month_number == 10){month = 'November';}
   if(month_number == 11){month ='Dezember';}

    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>');
 
}