// JavaScript Document

  function setText(a, b)
  {
    x = document.getElementById(a);
    if (x){
      //x.innerHTML = b.options[b.selectedIndex].innerHTML;
      var strr = b.options[b.selectedIndex].innerHTML;
      x.innerHTML = strr.substring(0,22);
    }  
    // IF Pager value is changed then resubmit the form
    if (a=="records_per_page_search")
      document.search_form.submit();
  }