// JavaScript Document

function getModificationDate() {
	lastmod = document.lastModified;     
	lastmoddate = Date.parse(lastmod);   
	if (lastmoddate == 0) {               
		lastmod = "Unknown";
	} 
	
	return lastmod;
}