function page_date()
{
  var created=new Date(document.lastModified);
  document.write("This page last updated "+created.toDateString());
}