// SCRIPT to write date of last modification (update) where called on a page
// Lin Jensen
var md = new Date(document.lastModified)
var months = new Array ("January","February","March","April","May","June","July",
		"August","September","October","November","December")
document.write("Last updated: "+ md.getDate()+" " + months[md.getMonth()]
		+ " " + md.getFullYear())