if (Date.parse(document.lastModified) != 0)
{
	lmd=new Date(document.lastModified);
	m=lmd.getMonth();
	mes = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
	document.write('&copy;1997-' + lmd.getFullYear() + ' Friends of the Segovia Mint<BR>');
	document.write('Last modified: ' + lmd.getDate() + '/' + mes[m] + '/' + lmd.getFullYear());
}