function show_the_summary(summaryToDisplay, textToDisplay) {
  var element = document.getElementById(summaryToDisplay);
  var cleanedTextToDisplay = unescape(textToDisplay);
  cleanedTextToDisplay = cleanedTextToDisplay.replace(/\+/g," ");
  element.innerHTML="<div id='summary_popup_text'>" + cleanedTextToDisplay + "</div>";
}

function hide_the_summary(summaryToHide) {
  var element = document.getElementById(summaryToHide);
  element.innerHTML="";
}