var modified = new Date(document.lastModified);
var yy = modified.getYear();    if (yy<1000) yy += 1900; // Valid for any date above 1000.
var mm = modified.getMonth()+1; if (mm<10) mm="0"+mm;
var dd = modified.getDate();    if (dd<10) dd="0"+dd;
var hh = modified.getHours();
var nn = modified.getMinutes(); if (nn<10) nn="0"+nn;
document.write(" Mis \&agrave; jour le ",dd,"/",mm,"/",yy);