function DateToString(date)
{
  var Mon3 = ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun',
              'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec']
  with (date)
  {
    return getFullYear() + "-" +
           Mon3[getMonth()] + "-" +
           getDate() + " ";
  }
}

document.write("<P></br></P>");
document.write("Last Modified: ");
document.write(DateToString(new Date(document.lastModified)));
document.write("<P></br></P>");