function printLastModified() {
	document.write(document.lastModified);
}