<!--
var update = new Date(document.lastModified);
var months = new Array('January','February','March','April',
	                 'May','June','July','August','September',
                        'October','November','December');
var date = ((update.getDate()<10) ? "0" : "")+ update.getDate();
function getCorrectedYear(year) {
    year = year - 0;
    if (year < 70) return (2000 + year);
    if (year < 1900) return (1900 + year);
    return year;
}
function y2k(number){return (number < 1000) ? number + 1900 : number;}
var y2kdate = new Date(getCorrectedYear(update.getYear()),update.getMonth(),update.getDate());
modified =  months[y2kdate.getMonth()] + " " +
        date + ", " +
            (y2k(y2kdate.getYear())) ;
document.write("This page last updated: "+modified+"");
//-->