function lastMod()
{
        var monthNames = new Array( 'Jan','Feb','Mar','Apr','May','Jun','Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec' );
        var zeroPad = null;
        var lastDate = new Date( document.lastModified );
        year = y2kYear( lastDate );
        month = lastDate.getMonth();
        day = lastDate.getDate();
        if( day < 10 )
        {
                zeroPad = "0";
        }
        printDate = zeroPad + day + " " + monthNames[ month ] + " " + year;
        return printDate;
}

function y2kYear( theDate )
{
        wrongYear = theDate.getYear();
        var rightYear = wrongYear % 100;
        rightYear += (rightYear < 38) ? 2000 : 1900;
        return rightYear;
}