var dayNames = ["Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday"];
var monthNames = ["January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December"];
var now;
function formatDateTime(timestamp, wordy) {
  var date = new Date(timestamp * 1000);
  var dayName = dayNames[date.getDay()];
  var month = date.getMonth();
  var monthName = monthNames[month];
  var monthDay = date.getDate();
  var year = date.getFullYear();
  if (!now)
    now = new Date();
  var result;
  if (month == now.getMonth() && monthDay == now.getDate() && year == now.getFullYear()) {
    result = "today";
  } else {
    if (wordy)
      result = "on ";
    else
      result = "";
    result += dayName + ", " + monthName + " " + monthDay;
    if (year != now.getFullYear())
      result += ", " + year;
  }
  var hours = date.getHours();
  var ampm;
  if (hours > 12) {
    hours -= 12;
    ampm = "PM";
  } else if (hours == 12) {
    ampm = "PM";
  } else if (hours == 0) {
    hours = 12;
    ampm = "AM";
  } else {
    ampm = "AM";
  }
  var minutes = date.getMinutes();
  if (minutes < 10) {
    minutes = "0" + minutes;
  }
  result += " at " + hours + ":" + minutes + " " + ampm;
  return result;
}
function writeDateTime(timestamp) {
  document.write(formatDateTime(timestamp));
}