// set explanation html
function set_text(s_text)
{
  var obj_explanation = document.getElementById("explanation");
  obj_explanation.innerHTML = s_text;
}