function timeLastModified() {

	if (Date.parse(document.lastModified) != 0) {
		lastMod = new Date(Date.parse(document.lastModified));
		document.writeln('Last Modified   : ' + (lastMod.getMonth()+1) + '/' + lastMod.getDate() + '/' + lastMod.getFullYear());
		if (lastMod.getHours() < 13) {
			if (lastMod.getHours() == 0) {
				document.write('12:');
			}
			else {
				document.write(lastMod.getHours() + ':');
			}
		}
		else {
			document.write((lastMod.getHours()-12) + ':');
		}
		if (lastMod.getMinutes() < 10) {
			document.write('0' + lastMod.getMinutes() + ':');
		}
		else {
			document.write(lastMod.getMinutes() + ':');
		}
		if (lastMod.getSeconds() < 10) {
			document.write('0' + lastMod.getSeconds() + ' ');
		}
		else {
			document.write(lastMod.getSeconds() + ' ');
		}
		if (lastMod.getHours() < 12) {
			document.writeln('AM');
		}
		else {
			document.writeln('PM');
		}
	}
}