// array for the months of the year
monthName = new Array(12);
monthName[0] = 'January';
monthName[1] = 'February';
monthName[2] = 'March';
monthName[3] = 'April';
monthName[4] = 'May';
monthName[5] = 'June';
monthName[6] = 'July';
monthName[7] = 'August';
monthName[8] = 'September';
monthName[9] = 'October';
monthName[10] = 'November';
monthName[11] = 'December';

// last modified date by Bernhard Friedrich; revised by Nick Knouse
var a;
a=new Date(document.lastModified);
lm_year=a.getYear();
if (lm_year < 70){				// just in case the date is reporting 1969, which is obviously wrong
	a = new Date();
	lm_year = a.getYear();
}

if (lm_year<1000){ 				//just in case date is delivered with 4 digits
	if (lm_year<70){
		lm_year=2000+lm_year;
	}
	else lm_year=1900+lm_year;
}								//end workaround
lm_month=a.getMonth()+1;
if (lm_month<10){
	lm_month='0'+lm_month;
}
lm_day=a.getDate();
if (lm_day<10){
	lm_day='0'+lm_day;
}

//document.write(monthName[lm_month-1]+" "+lm_day+", "+lm_year);
document.write(lm_day+" "+monthName[lm_month-1]+" "+lm_year);
//document.write(monthName[lm_month-1]+" "+lm_day);


// ---------time---------
lm_hours=a.getHours();
lm_minutes=a.getMinutes();
lm_Seconds=a.getSeconds();
//document.write(" @ "+lm_hours+""+lm_minutes+" ");
// --------end time------