//This script creates a time stamp according to the
//time where the page was last modified

var now = new Date(document.lastModified);
var yr = now.getYear();
if(yr < 2000) {
	yr = yr + 1900;
}
var mName = now.getMonth() + 1;
var dayNr = ((now.getDate()<10) ? "0" : "")+ now.getDate();
if(mName==1) Month="January";
if(mName==2) Month="February";
if(mName==3) Month="March";
if(mName==4) Month="April";
if(mName==5) Month="May";
if(mName==6) Month="June";
if(mName==7) Month="July";
if(mName==8) Month="August";
if(mName==9) Month="September";
if(mName==10) Month="October";
if(mName==11) Month="November";
if(mName==12) Month="December";
var DateString =("Page updated: " + Month + " " + dayNr + ", " + yr);
document.write(DateString);