// -Automatic page  update display
if (Date.parse(document.lastModified) != 0)
{
  document.write('Last modified ',document.lastModified);
}