function lastMod()
{
	var monthNames = new Array( 'Jan','Feb','Mar','Apr','May','Jun','Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec' );

	var zeroPad = "";
	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;
}