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