var monthList=new Array(12);
monthList[0]="January";
monthList[1]="February";
monthList[2]="March";
monthList[3]="April";
monthList[4]="May";
monthList[5]="June";
monthList[6]="July";
monthList[7]="August";
monthList[8]="September";
monthList[9]="October";
monthList[10]="November";
monthList[11]="December";

function setPrettyTimestamp(prettyField, field)
{
  //month
  month=field.substr(4,2,field);
  prettyField.value = monthList[month-1];
  prettyField.value += " " + field.substr(6,2) + ", "
      + field.substr(0,4) + " at ";
  hour=field.substr(8,2);
  min=field.substr(10,2);
  if (hour > 12)
  {
    hour -= 12;
    if (hour < 10)
      prettyField.value += "0";
    prettyField.value += hour + ":" + min + " PM";
  }
  else if (hour == 12)
    prettyField.value += "12:" + min + " PM";
  else
    prettyField.value += hour + ":" + min + " AM";  
}