function Array(n)	{
this.length = n;
return this;
}
monthNames = new Array(12)
monthNames[1] = "January"
monthNames[2] = "February"
monthNames[3] = "March"
monthNames[4] = "April"
monthNames[5] = "May"
monthNames[6] = "June"
monthNames[7] = "July"
monthNames[8] = "August"
monthNames[9] = "September"
monthNames[10] = "October"
monthNames[11] = "November"
monthNames[12] = "December"

function customDateString(oneDate)	{
var theMonth = monthNames[oneDate.getMonth() + 1]
var theYear
if(document.all){theYear = oneDate.getYear()}
else if (document.layers){theYear = oneDate.getYear()+1900}
return oneDate.getDate() + " " + theMonth + " " + theYear
}