function convertMonthName ( dateIn ) {
	var monthString;
	switch ( dateIn.getMonth() ) {
		case 0: monthString = "Jan";break;
		case 1: monthString = "Feb"; break;
		case 2: monthString = "Mar"; break;
		case 3: monthString = "Apr"; break;
		case 4: monthString = "May"; break;
		case 5: monthString = "Jun"; break;
		case 6: monthString = "Jul"; break;
		case 7: monthString = "Aug"; break;
		case 8: monthString = "Sep"; break;
		case 9: monthString = "Oct"; break;
		case 10: monthString = "Nov"; break;
		case 11: monthString = "Dec"; break;
		default: "";
	}
	return monthString;
}

function displayTime(timeIn) {
	var currTime = timeIn.toString();
	if ( timeIn < 10 ) currTime = "0" + currTime;
	return currTime;
}

function dateLastUpdated(dateIn) {
	var currDate = new Date(dateIn);
	document.write( currDate.getDate() + "-" + convertMonthName( currDate ) + "-" + currDate.getFullYear() + " " + displayTime( currDate.getHours() ) + ":" + displayTime( currDate.getMinutes() ) + ":" + displayTime( currDate.getSeconds() ) );
}