// linkExternal opens a URL in a new window.
function linkExternal(url) {
  winHandle = window.open(url); 
}

function getMonth(nMonth)
{
	var months = new Array("January","February","March","April","May","June",
	                       "July","August","September","October","November","December");
	return months[nMonth] 	  	 
}

function showLastUpdateDate()
{
	var today = new Date();
	var year = today.getYear();
	
	if (year < 1000)
		 year += 1900;	//fix Y2K problem
	if (year == 101)
		 year = 2001;
	
	strDate = today.getDate() + " " + getMonth(today.getMonth()) + " " + year;
	
	document.write(strDate);
}