function display(f, s) {
  var spa = document.getElementById(f);
  if (spa != null) spa.childNodes[0].nodeValue = s;
}