// date modified
function dateMod() {
	var d = Date.parse(document.lastModified);
	if (d != 0) {
		var ds = new Date(d).toLocaleDateString();
		document.write('Last modified: ' + ds);
	}
}