// WRITE THE DOCUMENT MODIFICATION DATE TO PAGE



function dateStamp()
	{
	month = new Array(12)
	month[0] = "January";
	month[1] = "February";
	month[2] = "March";
	month[3] = "April";
	month[4] = "May";
	month[5] = "June";
	month[6] = "July";
	month[7] = "August";
	month[8] = "September";
	month[9] = "October";
	month[10] = "November";
	month[11] = "December";

	now = new Date(Date.parse(document.lastModified));				// GET THE LAST-MODIFIED TIMESTAMP
	theMonth = month[now.getMonth()];							// MAKE THE MONTH, USING ARRAY
	theDate = now.getDate();								// GET THE MONTH DAY
	theYear = now.getYear();								// GET THE YEAR
	theYear = "" + theYear;									// FORCE THE YEAR VALUE TO BE A STRING
	theYear="20" + theYear.substring (theYear.length-2, theYear.length);	// MAKE THE YEAR MILLENIUM 2
	theDateline = theMonth + " " + theDate + ", " + theYear;			// BUILD THE STRING
//	theDateline = theDateline.toUpperCase();						// MAKE UPPERCASE

//	temp="<font size='1' face='Arial, Helvetica, sans-serif'>PAGE UPDATED ON " + theDateline + "</font>";		// ADD HTML FONT STYLE
	document.write(theDateline);									// WRITE TO DOCUMENT
	}