<!--
function LastDateModified(doc)
{
lastDateWork = new Date(doc.lastModified);

var aMonth = new Array(12);
aMonth[0] = "January";
aMonth[1] = "February";
aMonth[2] = "March";
aMonth[3] = "April";
aMonth[4] = "May";
aMonth[5] = "June";
aMonth[6] = "July";
aMonth[7] = "August";
aMonth[8] = "September";
aMonth[9] = "October";
aMonth[10] = "November";
aMonth[11] = "December";

doc.write("Last updated: ");

doc.write(aMonth[lastDateWork.getMonth()] + " " + lastDateWork.getDate() + ", " + lastDateWork.getFullYear());
}
// -->