// JavaScript Document
function dateMod() {
  var lastmod = document.lastModified     // get string of last modified date
  var lastmoddate = Date.parse(lastmod)   // convert modified string to date
  if(lastmoddate == 0) {              // unknown date (or January 1, 1970 GMT)
     document.writeln("Last Modified: Unknown")
  } 
	 else {
     document.writeln("Last Modified: " + lastmod)
	 }
}
