Date.WEEKDAY_NAMES = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");

Date.prototype.toFormattedString = function(include_time)
{
  result = Date.WEEKDAY_NAMES[this.getDay()] + ", " + Date.months[this.getMonth()] + " " + Date.padded2(this.getDate()) + ", " + this.getFullYear();
  if (include_time) { result += " " + this.getHours() + ":" + this.getPaddedMinutes() }
  return result;
}