<!--function makeArray() {     for (i = 0; i<makeArray.arguments.length; i++)         this[i] = makeArray.arguments[i]; } function getFullYear(d) {    var y = d.getYear();    if (y < 1000) {y += 1900};    return y;}//var zone = "EDT";var days = new makeArray("Sun","Mon","Tue","Wed","Thu","Fri","Sat");var months = new makeArray("January","February","March","April","May","June","July","August","September","October","November","December"); function format_time(t) {       var Hours = t.getHours();    var Minutes = t.getMinutes();    var Seconds = t.getSeconds();    var Day = t.getDay();    var Date = t.getDate();    var Month = t.getMonth();    var Year = getFullYear(t);        var ampm = "AM";    if (Hours > 11) {ampm="PM";}    if (Hours > 12) {Hours -= 12;}        if (Hours == 0) {Hours = 12;}        if (Minutes < 10) {Minutes = "0"+Minutes;}        if (Seconds < 10) {Seconds = "0"+Seconds;}    timeString = "";    timeString += days[Day];    timeString += " ";    timeString += months[Month];    timeString += " ";    timeString += Date;    timeString += ", ";    timeString += Year;    timeString += " at ";    timeString += Hours;    timeString += ":";    timeString += Minutes;    timeString += ":";    timeString += Seconds;    timeString += " ";    timeString += ampm;    //timeString += " ";    //timeString += zone;      return timeString;  }// -->