document.write('<br/><br/><h3>Page last updated:');
var d = new Date(document.lastModified);

var days = new Array(8);
days[0] = "Sunday";
days[1] = "Monday";
days[2] = "Tuesday";
days[3] = "Wednesday";
days[4] = "Thursday";
days[5] = "Friday";
days[6] = "Saturday";

var months = new Array(12);
months[0] = "January";
months[1] = "February";
months[2] = "March";
months[3] = "April";
months[4] = "May";
months[5] = "June";
months[6] = "July";
months[7] = "August";
months[8] = "September";
months[9] = "October";
months[10] = "November";
months[11] = "December";
document.write(days[d.getDay()]+ ' ' +d.getDate()+' '+months[d.getMonth()]+' '+d.getFullYear());
document.write('</h3>');