function y2k(number) {
  return (number < 1000) ? number + 1900 : number;
  }

function leadingZero(value) {
  var valueString = value.toString();
  if (valueString.length == 1) {
    valueString = "0" + valueString;
  }
  return valueString;
}

function formatDate (theDate) {
  var days   = new Array("Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat");  // Array containing day names
  var months = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");  // Array containing month names
  var colon = ":";
  var dash = "-";

  var day = days[theDate.getDay()];
  var nDate = leadingZero(theDate.getDate());
  var month = months[theDate.getMonth()];
  var year = y2k(theDate.getYear());

  var hour = theDate.getHours();
  if (hour == 0) {
    hour = 12;
    ampm = "am";
  } else if (hour > 12) {
    hour = hour - 12;
    ampm = "pm";
  } else {
    ampm = "am";
  }

  var minute = leadingZero(theDate.getMinutes());
  var seconds = leadingZero(theDate.getSeconds());

  var tmpStrg = day + ". " + hour + colon + minute + colon + seconds + ampm + " " + nDate + dash + month + dash + year;
  return tmpStrg;
}