// JavaScript Document

<!--
function getDateFormatted(fullDate)
{
	var year = fullDate.getYear();
	if (year < 1000)
	{
		year += 1900;
	}
	var date = addLeadingZero(fullDate.getDate());
	var month = fullDate.getMonth();
	var hour = addLeadingZero(fullDate.getHours());
	var min = addLeadingZero(fullDate.getMinutes());

	var montharray=new Array(
		"January",
		"February",
		"March",
		"April",
		"May",
		"June",
		"July",
		"August",
		"September",
		"October",
		"November",
		"December"
	);

	return(hour + ":" + min + " " + date + " " + montharray[month] + " " + year)
}

function addLeadingZero(int)
{
	var retVal = int;

	if (int < 10)
	{
		retVal = "0" + int;
	}

	return retVal;
}
// -->