function goClose() {
	if (document.getElementById("doHideInfobox").value == "yes") {
		document.getElementById("infobox").style.display = "none";
	}
}

function changeDoHideInfobox(doChange) {
	if (doChange == "yes") {
		document.getElementById("doHideInfobox").value = "yes";
	}else{
		document.getElementById("doHideInfobox").value = "no";
	}
}