function makeArray() {
     for (i = 0; i<makeArray.arguments.length; i++)
         this[i] = makeArray.arguments[i];
 }

var days = new makeArray("Sun","Mon","Tue","Wed","Thu","Fri","Sat");
var months = new makeArray("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");

function format_time(t) {
    var day = t.getDay();
    var dt = t.getDate();
    var mo = t.getMonth();
    var hour = t.getHours();
    var min = t.getMinutes();
 
    if (min <= 9) {
      min = "0" + min;
    }
    if (hour > 12) {
      hour = hour - 12;
      add = " pm";
    } else {
      hour = hour;
      add = " am";
    }
    if (hour == 12) {
      add = " pm";
    }
    if (hour == 00) {
      hour = "12";
    }

    timeString = days[day]+", "+months[mo]+" "+dt+", "+hour+":"+ min+ add;
	return timeString;
 }

d = new Date();
document.write(format_time(d));