var lastInfoId = null;

function showInfo(id) {
    if (lastInfoId != null)
      hideInfo(lastInfoId);
		document.getElementById("infobox_"+id).style.visibility = 'visible';
    lastInfoId = id;
}

function hideInfo(id) {
		document.getElementById("infobox_"+id).style.visibility = 'hidden';
}