function print_lastm() {
	var timestr = document.lastModified; // Get stat() m_time as string
	var time_t = Date.parse(timestr); // Parse into milliseconds since the epoch
	var dateobj = new Date(time_t); // Construct Date object from milliseconds
	document.write(dateobj.toDateString() ); // Print as locale-defined string
}