var jsHeader = new Object();

jsHeader.writeFriendlyDateTime = function () {
	var today = new Date();
	var strDate = today.toDateString();
	var strTime = today.toLocaleTimeString();
	strDate = strDate.substring(0, 3) + "," + strDate.substring(3, 10);
	strTime = strTime.toLowerCase().replace(/:\d{2} ([a|p])/, " $1");
	document.write(strDate + ", " + strTime);
}