function $$(id) {
	if (document.getElementById)
		return document.getElementById(id);
	else
		return null;
}

function setInfoVisibility(i, show) {
	if ($$("infoTable_"+i)) {
		$$("infoTable_"+i).className = (show?'infoTable':'infoTable hideExtra');
	}
}

function initHiddenResults() {
	if (!$$("hiddenResults"))
		return;
	$$("showHiddenResults").style.display = "block";
}

function showHiddenResults() {
	$$("hiddenResults").style.display = "block";
	$$("showHiddenResults").style.display = "none";
}