// bpref = tab body prefix, hpref = tab header prefix
function seltab(bpref, hpref, id_max, selected) {
  if (! document.getElementById) return;
  for (i = 0; i <= id_max; i++) {
    if (! document.getElementById(hpref + i)) continue;
    if (i == selected) {
       document.getElementById(hpref + i).className = "sel";
    } else {
      document.getElementById(hpref + i).className = "";
    }
  }
      document.getElementById(hpref + 1).className = "st " + document.getElementById(hpref + 1).className;
      document.getElementById(hpref + 6).className = "lt " + document.getElementById(hpref + 6).className;
  
  document.search.ptn.value = selected
}