<!-- Begin
// format date as dd-mmm-yy
// example: 12-Jan-99

function date_ddmmmyy(date) {
	var d = date.getDate();
	var m = date.getMonth() + 1;
	var y = date.getYear();
	var hr = date.getHours();
	var min = date.getMinutes();
	var sec = date.getSeconds();

	if (hr < 12) {
		ampm="am";
		if (hr < 1) {
			hr="0" + hr;
		}
	}
	else {
		ampm="pm";
	}
	if (min < 10) {
		min="0" + min;
	}

// handle different year values returned by IE and NS in the year 2000.
	if (y < 1900) {
		y += 1900;
	}

// could use splitString() here but the following method is more compatible
	var mmm =
	( 1==m)?'Jan':( 2==m)?'Feb':(3==m)?'Mar':
	( 4==m)?'Apr':( 5==m)?'May':(6==m)?'Jun':
	( 7==m)?'Jul':( 8==m)?'Aug':(9==m)?'Sep':
	(10==m)?'Oct':(11==m)?'Nov':'Dec';

	return "" +
	m + "/" +
	(d<10?"0"+d:d) + "/" +
	(y<10?"0"+y:y) +
	" at " + hr + ":" + min + ampm;
}


//
// get last modified date of the current document.
//
function date_lastmodified() {
	var lmd = document.lastModified;
	var s   = "Unknown";
	var d1;

// check if we have a valid date
// before proceeding
	if (0 != (d1=Date.parse(lmd))) {
		s = "" + date_ddmmmyy(new Date(d1));

	}
	return s;
}

//
// finally display the last modified date as DD-MMM-YY
//
document.write("<br><br><i>Last updated:" + date_lastmodified() + "</i>");
// End -->

