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;}