date=new Date(document.lastModified);
jour=new Array("dimanche","lundi","mardi","mercredi","jeudi","vendredi","samedi");
mois=new Array("janvier","fevrier","mars","avril","mai","juin","juillet","août","septembre","octobre","novembre","décembre");
document.write("Page modifiée le "+jour[date.getDay()]+" "+date.getDate()+" "+mois[date.getMonth()]+" "+date.getFullYear());