dateModif = new Date(document.lastModified);
dernModif = " " + dateModif.getDate() + "/" + (dateModif.getMonth()+1) + "/" +  dateModif.getFullYear();
function preload() {
  if (document.images) {
    var imgFiles = preload.arguments;
    if (document.preloadArray==null) document.preloadArray = new Array();
    var i=document.preloadArray.length;
    with (document) for (var j=0; j<imgFiles.length; j++) if (imgFiles[j].charAt(0)!="#"){
      preloadArray[i] = new Image;
      preloadArray[i++].src = imgFiles[j];
  } }
}