//////////////////////////////////////////////////////////////////////
// dateEnhancements.js
//////////////////////////////////////////////////////////////////////
Date.prototype.getDayName =
function getDayNameDate() { // return String
  var DayNameArray = new Array("Sunday", "Monday", "Tuesday", "Wednesday", 
                         "Thursday", "Friday", "Saturday")
  return DayNameArray[this.getDay()];
}

Date.prototype.getDayName3 =
function getDayName3Date() { // return String
  return this.getDayName().substr(0,3);
}

Date.prototype.getMonthName =
function getMonthNameDate() { // return String
  var MonthNameArray = new Array("January", "February", "March",
                             "April", "May", "June",
                             "July", "August", "September",
                             "October", "November", "December") 
  return MonthNameArray[this.getMonth()];
}

Date.prototype.getMonthName3 =
function getMonthName3Date() { // return String
  return this.getMonthName().substr(0,3);
}

Date.prototype.plus =
function plusDate(days) { // return Date
  var dayMilliseconds = days * 86400000;
  var date = new Date();
  date.setTime(date.getTime() + dayMilliseconds);
  return date;
}

if (!Date.getFullYear) {
  Date.prototype.getFullYear =
  function getFullYearDate() { // return integer
    var year = this.getYear();
    return (year < 1000) ? year+1900 : year;
  }
}