var active_infobox=0;

function infobox(id) {
	if (active_infobox!=0) {
		$('#infobox'+active_infobox).toggle();
	}
	active_infobox = id;
	$('#infobox'+id).toggle();
}