function formatDate(dateObj, style)
{
	if (isNaN(Date.parse(dateObj))) return dateObj;
	var dayStr= null;
	var monthStr= null;
	var dateStr= null;
	var yearStr= null;
	if (style != "long" && style != 1)
	{ // if not long use short version (default)
		monthStr= String(dateObj.getMonth()+1);
		yearStr= String(dateObj.getFullYear()%100);
		if (yearStr.length == 1) yearStr= "0" + yearStr;
		return (monthStr + "/" + dateObj.getDate() + "/" + yearStr);
	}
	switch	(dateObj.getDay())
	{				////// else use long version
		case 0:	dayStr= "Sunday"; break;
		case 1:	dayStr= "Monday"; break;
		case 2:	dayStr= "Tuesday"; break;
		case 3:	dayStr= "Wednesday"; break;
		case 4:	dayStr= "Thursday"; break;
		case 5:	dayStr= "Friday"; break;
		case 6:	dayStr= "Saturday"; break;
	}
	switch	(dateObj.getMonth())
	{
		case 0:		monthStr= "January"; break;
		case 1:		monthStr= "February"; break;
		case 2:		monthStr= "March"; break;
		case 3:		monthStr= "April"; break;
		case 4:		monthStr= "May"; break;
		case 5:		monthStr= "June"; break;
		case 6:		monthStr= "July"; break;
		case 7:		monthStr= "August"; break;
		case 8:		monthStr= "September"; break;
		case 9:		monthStr= "October"; break;
		case 10:	monthStr= "November"; break;
		case 11:	monthStr= "December"; break;
	}
	dateStr= dateObj.getDate();
	if (13 >= dateObj.getDate() && dateObj.getDate() >= 11)
		dateStr+="<SPAN style='font-size: 80%'>th<\/SPAN>";
	else
		switch	(dateObj.getDate()%10)
		{
			case 0:		dateStr+="<SPAN style='font-size: 80%'>th<\/SPAN>"; break;
			case 1:		dateStr+="<SPAN style='font-size: 80%'>st<\/SPAN>"; break;
			case 2:		dateStr+="<SPAN style='font-size: 80%'>nd<\/SPAN>"; break;
			case 3:		dateStr+="<SPAN style='font-size: 80%'>rd<\/SPAN>"; break;
			case 4:		dateStr+="<SPAN style='font-size: 80%'>th<\/SPAN>"; break;
			case 5:		dateStr+="<SPAN style='font-size: 80%'>th<\/SPAN>"; break;
			case 6:		dateStr+="<SPAN style='font-size: 80%'>th<\/SPAN>"; break;
			case 7:		dateStr+="<SPAN style='font-size: 80%'>th<\/SPAN>"; break;
			case 8:		dateStr+="<SPAN style='font-size: 80%'>th<\/SPAN>"; break;
			case 9:		dateStr+="<SPAN style='font-size: 80%'>th<\/SPAN>"; break;
		}
	return (dayStr + ", " + monthStr + " " + dateStr + " " + dateObj.getFullYear());
}

function formatTime(dateObj)
{
	minStr= String(dateObj.getMinutes());
	secStr= String(dateObj.getSeconds());
	if (minStr.length == 1) minStr= "0" + minStr;
	if (secStr.length == 1) secStr= "0" + secStr;
	return (dateObj.getHours() + ":" + minStr + ":" + secStr);
}

function writeModDate()
{
	var zoneOffset= " -800";	// timezone offset of server
	var lastMod= document.lastModified;
	lastMod+= zoneOffset;
	var modDate= new Date(lastMod);
	if (Date.parse(modDate) <= Date.parse("Jan 1 00:00:00 1970" + zoneOffset)) modDate= "Sorry, date not available.";
	document.write("Last modified: " + formatDate(modDate) + " " + "<BR>");
}

function writeTime()
{
	var today= new Date();
	document.write(formatDate(today,"long") + " " + formatTime(today) + "<BR>");
}