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;

}