<!--
// displays the document save date year-month-day, by Michael Rea
var SaveDate = new Date(document.lastModified);
document.write("  ed: ",SaveDate.getFullYear(),"-",SaveDate.getMonth()+1,"-",SaveDate.getDate(),"  ");
// -->