function show_infobox(whichone){
	var whichbox = "infobox" + whichone;
	document.getElementById(whichbox).style.color="#FFFFFF";
}

function hide_infobox(whichone){
	var whichbox = "infobox" + whichone;
	document.getElementById(whichbox).style.color="#297379";
}