//	script.js - Common Javascript
//
//	Copyright (C) 1998-2003 Charles A Upsdell, All Rights Reserved; www.upsdell.com


	
	//	Display date when file was last modified
	function myLastModified ()
	  {
		theDateMs = Date.parse( document.lastModified );
		theDate = new Date( theDateMs );
		if ( theDateMs != 0 )
		  {
			var strDate = theDate.toLocaleDateString() ? theDate.toLocaleDateString() : theDate.toString();
			document.write( '<p class="bodytext2" align="center">This page was updated '
				+ strDate + '.</p>' );
		  }
	  }