// display the date of the page's last modification
 lm = document.lastModified
 lmd = Date.parse(lm)
 lm = new Date(lmd)
 year = lm.getFullYear()
 mn = lm.getMonth()
 months = new Array("January","February","March","April","May","June","July","August","September","October","November","December")
 month = months[mn]
 date = lm.getDate()
 hours = lm.getHours()
 minutes = lm.getMinutes()
 while(hours.toString().length==1) {
	 hours = "0" + hours
 }
 if(minutes.toString().length==1) {
	 minutes = "0" + minutes
 }
if (lmd == 0) {
	document.write("Last modified: unknown");
}else {
	document.write("Last modified: " + year + ' ' + month + ' ' + date + ' - ' + hours + ':' + minutes)
}