document.write("Last modified on " +
   document.lastModified.substr(3,2) + "." + // dag
   document.lastModified.substr(0,2) + "." + // maand
   document.lastModified.substr(6,4)); // jaar