<!--
function MakeArray(n) {
this.length = n
return this
}
monthNames = new MakeArray(12)
monthNames[1] = "Jan."
monthNames[2] = "Feb."
monthNames[3] = "Mar."
monthNames[4] = "Apr."
monthNames[5] = "May"
monthNames[6] = "June"
monthNames[7] = "July"
monthNames[8] = "Aug."
monthNames[9] = "Sept."
monthNames[10] = "Oct."
monthNames[11] = "Nov."
monthNames[12] = "Dec."
dayNames = new MakeArray(7)
dayNames[1] = "Sunday"
dayNames[2] = "Monday"
dayNames[3] = "Tuesday"
dayNames[4] = "Wednesday"
dayNames[5] = "Thursday"
dayNames[6] = "Friday"
dayNames[7] = "Saturday"
function customDateString(oneDate) {
if (oneDate.getYear() < 2000) {
  var theYear = oneDate.getYear() + 1900
} else {
  var theYear = oneDate.getYear();
}
return "<STRONG>" + dayNames[oneDate.getDay() + 1] + "</STRONG><BR>" +
monthNames[oneDate.getMonth() + 1] + " " + oneDate.getDate() + ", " +
theYear
}
// -->