var format_string = "<font face=arial>%dayname %date %monthname %fullyear</font>";
function lastUpdated(){
var index, date = new Date(document.lastModified);
var week = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
var month = new Array("January","Febuary","March","April","May","June","July","August","September","October","November","December");
var key = new Array("%date","%dayname","%monthname","%fullyear");
var value = new Array(date.getDate(),week[date.getDay()],month[date.getMonth()],date.getFullYear());
for(index=0;index<key.length;index++){
if(format_string.indexOf(key[index]) == -1)continue;
format_string = format_string.split(key[index]);
format_string = format_string.join(value[index]);}
document.writeln(format_string);
}