function GetDay(intDay){
    var DayArray = new Array("dimanche", "lundi", "mardi", "mercredi", 
                             "jeudi", "vendredi", "samedi")
    return DayArray[intDay]
    }

function GetMonth(intMonth){
    var MonthArray = new Array("janvier", "février", "mars",
                               "avril", "mai", "juin",
                               "juillet", "août", "septembre",
                               "octobre", "novembre", "décembre") 
    return MonthArray[intMonth] 	  	 
    }
    
  
function getDateTimeStrWithDOW(){
    var daylastsaved = new Date(document.lastModified)
    var year = daylastsaved.getYear()
    if (year<1000) year+=1900
    var daylastsavedStr = GetDay(daylastsaved.getDay())
    daylastsavedStr += " " + daylastsaved.getDate()
    daylastsavedStr += " " + GetMonth(daylastsaved.getMonth())
    daylastsavedStr += " " + year
    daylastsavedStr += " &agrave; " + daylastsaved.getHours()
    daylastsavedStr += "&nbsp;h&nbsp;" + daylastsaved.getMinutes()
    return daylastsavedStr
    }

document.write(getDateTimeStrWithDOW())