function parseDate(text) {
	var months = {JAN:0,FEB:1,MAR:2,APR:3,MAY:4,JUN:5,JUL:6,AUG:7,SEP:8,OCT:9,NOV:10,DEC:11};

	var day = parseInt(text.substr(0, 2));
	var month = months[text.substr(3, 3)];
	var year = parseInt(text.substr(7, 4));

	return new Date(year, month, day);
}

window.onload = function() {
	if(!document.getElementById)
		return;

	var last_modified = document.getElementById("lastModified");
	if(!last_modified)
		return;

	var max_date = null;

	if(!document.getElementsByTagName)
		return;
	var divs = document.getElementsByTagName("DIV");
	for(var i = 0; i < divs.length; i++) {
		if(divs[i].className != "updateDate")
			continue;

		var date_text = divs[i].innerHTML;
		var date = parseDate(date_text);
		if(max_date == null || max_date < date.valueOf())
			max_date = date.valueOf()
	}

	if(max_date != null) {
		var date = new Date(max_date);
		last_modified.innerHTML = date.toLocaleDateString();
	}
};