<!--
function MakeArray(n) {
	this.length = n
	return this
}

monthNamesShort = new MakeArray(12)
monthNamesShort[1] = "Jan"
monthNamesShort[2] = "Feb"
monthNamesShort[3] = "Mar"
monthNamesShort[4] = "Apr"
monthNamesShort[5] = "May"
monthNamesShort[6] = "Jun"
monthNamesShort[7] = "Jul"
monthNamesShort[8] = "Aug"
monthNamesShort[9] = "Sep"
monthNamesShort[10] = "Oct"
monthNamesShort[11] = "Nov"
monthNamesShort[12] = "Dec"

var monthNames=new Array(13)
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"

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) {
	var theDay = dayNames[oneDate.getDay() + 1]
	var theMonth = monthNamesShort[oneDate.getMonth() + 1]
     if (navigator.appName == 'Netscape')
 var theYear = oneDate.getYear() + 1900
     else if (navigator.appName == 'Microsoft Internet Explorer')
 var theYear = oneDate.getYear() + 0000
	return theDay + " " + theMonth + " " + oneDate.getDate() + ", " + theYear
}
// -->
