function highlightDiv(divId, divHide) {
    var divCount = document.getElementsByTagName("div").length;
    for (var i=0; i<divCount; i++) {
	if (document.getElementById(divHide+i)) {
	    if (divHide+i == divId) {
		if (document.getElementById(divId)) {
		    document.getElementById(divId).style.backgroundColor = 'lightgray';
		}
	    }
	    else {
		document.getElementById(divHide+i).style.backgroundColor = 'white';
	    }
	}
    }
}