function PB_goto(page) {
  document.form.PB_page.value = page;
  document.form.action_performed.value = 'PB_browse';
  submit_form();
}

function PB_num_ctrl(num) {
  if (num) {
    var old_val = parseInt(document.form.RL_num_on_page.value);
    document.form.RL_num_on_page.value = (old_val + num < 10) ? 10 : old_val + num;
    //alert(num + ' ' + document.form.RL_num_on_page.value);
    document.form.action_performed.value = 'RL_change_num';
    submit_form();
  }
}