var currentHilite = 0;
function areaHiliteOn(theID) {
	var myBgnd = "white";
	eval("info_" + theID + "a" + ".style.backgroundColor = myBgnd");
	if (currentHilite > 0) { 
		areaHiliteOff(); 
		}
	currentHilite = theID;
}

function areaHiliteOff() {
	if (currentHilite > 0) {
		var myBgnd = "#E9E9E9";
		eval("info_" + currentHilite + "a" + ".style.backgroundColor = myBgnd");
	}
}