// JavaScript date and time function library//    dayOfWeek(aDate)    - returns the named day of week//    friendlyDate(aDate) - returns date formatted as string "Month dd, yyyy"//    friendlyTime(aDate) - returns time of day formatted as "hh:mm AM"function dayOfWeek(aDate) {	var days = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")	return days[aDate.getDay()]}function friendlyDate (aDate) {	var months = new Array("January","February","March","April","May","June","July","August","September","October","November","December")	var theDay = aDate.getDate()	var theMonth = months[aDate.getMonth()]	var theYear = aDate.getYear()	if (theYear < 1000) { theYear += 1900 }	return theMonth + " " + theDay + ", " + theYear}function friendlyTime (aDate) {	var theHour = aDate.getHours()	var theMinute = aDate.getMinutes()	var ampm = "AM"	if (theHour >= 11) {		ampm = "PM"		if (theHour > 12) {			theHour -= 12		}	}	if (theHour == 0) {		theHour = 12	}	if (theMinute < 10) {		var tmpMinute = "0" + theMinute		theMinute = tmpMinute	}	return theHour + ":" + theMinute + " " + ampm}
