function show_infobox(whichone){
	var whichbox = "infobox" + whichone;
	document.getElementById(whichbox).style.display="block";
}

function hide_infobox(whichone){
	var whichbox = "infobox" + whichone;
	document.getElementById(whichbox).style.display="none";
}