function displayDate(){
      var this_month = new Array(12);
      this_month[0]  = " janvier ";
      this_month[1]  = " février ";
      this_month[2]  = " mars ";
      this_month[3]  = " avril ";
      this_month[4]  = " mai ";
      this_month[5]  = " juin ";
      this_month[6]  = " juillet ";
      this_month[7]  = " août ";
      this_month[8]  = " septembre ";
      this_month[9]  = " octobre ";
      this_month[10] = " novembre ";
      this_month[11] = " décembre ";
      var today = new Date();
      var day   = today.getDate();
      var month = today.getMonth();
      var year  = today.getYear();
      if (year < 1900){
         year += 1900;
      }
      return("Date: "+ day+" "+this_month[month]+" " +year);
    }