var update   = new Date(document.lastModified);
update.setYear(update.getYear() % 100 + 2000);
var timezone = new Date();
var tz = timezone.getTimezoneOffset();
update.setTime(update.getTime() + tz*60*1000);
var date     = update.getDate();
var year     = update.getYear() % 100 + 2000;
var Days     = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday");
var Months   = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
var dateline = Days[update.getDay()] +", " + date + " " + Months[update.getMonth()] + " " + year;
var mins     = update.getMinutes();
var hrs      = update.getHours();
var clckh    = ((hrs>12)?hrs-12:hrs);
var clckm    = ((mins<10)?"0":"")+mins;
var clck     = (hrs>=12)?"pm":"am";
var timeline = clckh + ":" + clckm + " " + clck + " UTC";
var textline = "Last updated " + dateline + " at " + timeline
document.write('<HR WIDTH=75%><p>' + textline + '</p>');