function lastMod()
	{
		var monthNames = new Array( 'January','February','March','April','May','June','July', 'August', 'September', 'October', 'November', 'December' );

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