function DayAbbrev(iWeekDay) {
	var DayNames = new Array("Sun",
                             "Mon",
                             "Tue",
                             "Wed",
                             "Thu",
                             "Fri",
                             "Sat") ;
	return DayNames[iWeekDay] ;
}
function MonthAbbrev(iMonthNbr) {
	var MonthNames = new Array("Jan",
                               "Feb",
                               "Mar",
                               "Apr",
                               "May",
                               "Jun",
                               "Jul",
                               "Aug",
                               "Sep",
                               "Oct",
                               "Nov",
                               "Dec") ;
	return MonthNames[iMonthNbr] ;
}
function YearNbr(iYear) {
	if (iYear < 2000) {
		iYear = iYear + 1900;
	}
	return iYear;
}
function fullDate() {
	var today = new Date() ;
	var month = MonthAbbrev(today.getMonth()) ;
	var day = DayAbbrev(today.getDay()) ;
	var year = YearNbr(today.getYear()) ;
	return ('<font color=\"#ffffff\">' +
            day +
            ', ' +
            month +
            ' ' +
            today.getDate() +
            ', ' +
            year +
            '</font>') ;
}