function last_updated() {
	/*
	For chang log please refer to docs/__history.txt
	*/
	document.write("06/26/2006");
}

function changeBG(cellId, newColor) {
	var cell;
	if (document.all) {
		cell = document.all[cellId];
	} else {
		cell = document.getElementById(cellId);
	}
	cell.bgColor = newColor;
}