function setText(a, b)
  {
    x = document.getElementById(a);
    if (x)
      x.innerHTML = b.options[b.selectedIndex].innerHTML;
  }