// JavaScript Document

  var doc_date = new Date(document.lastModified);
  var tag = doc_date.getDate();
  var monat = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
  var monat_zahl = doc_date.getMonth();
  var jahr = doc_date.getFullYear();
  
  document.write(tag + " " + monat[monat_zahl] + " " + jahr);