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","Tues","Wed","Thurs","Fri","Sat");
var months = new makeArray("JAN","FEB","MAR","APR","MAY","JUN","JUL","AUG","SEP","OCT","NOV","DEC");

function format_time2(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;}

    timeString2 = "";
    timeString2 += days[Day];
   	timeString2 += " ";
    //timeString2 += months[Month];
    //timeString2 += " ";
    //timeString2 += Date;
    //timeString2 += ", ";
    //timeString2 += Year;
    //timeString += " at ";
    //timeString += Hours;
    //timeString += ":";
    //timeString += Minutes;
    //timeString += ":";
    //timeString += Seconds;
    //timeString += " ";
    //timeString += ampm;
    //timeString += " ";
    //timeString += zone;
   
   return timeString2;
  
}

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 += Date;
    timeString += " ";
    timeString += months[Month];
    timeString += " ";
    timeString += Year;
   
   return timeString;
  
}