// get today's date
      var currentDay=new Date();
      var day=currentDay.getDate();
      var month=currentDay.getMonth()+1;
      var year=currentDay.getFullYear();
      function getCurrentDay() {
         var month_str="";
         if (month==1) {
            month_str="Janvier"
         } else if (month==2) {
            month_str="Février"
         } else if (month==2) {
            month_str="Février"
         } else if (month==3) {
            month_str="Mars"
         } else if (month==4) {
            month_str="Avril"
         } else if (month==5) {
            month_str="Mai"
         } else if (month==6) {
            month_str="Juin"
         } else if (month==7) {
            month_str="Juillet"
         } else if (month==8) {
            month_str="Août"
         } else if (month==9) {
            month_str="Septembre"
         } else if (month==10) {
            month_str="Octobre"
         } else if (month==11) {
            month_str="Novembre"
         } else if (month==12) {
            month_str="Décembre"
         }
         today=document.write(day+" "+month_str+" "+year);
         return today;
      }

      // get today's time
      var hour=currentDay.getHours();
      var minute=currentDay.getMinutes();
      function getCurrentTime() {
        if(minute<10) {
           minute="0"+minute;
        }
        if(hour<10) {
           hour="0"+hour;
        }
        now=document.write(hour+":"+minute);
        return now;
      }