function jumpmenu (sel, root_path)
{
  var type = sel.options[sel.selectedIndex].id.charAt(0);
  var val = sel.options[sel.selectedIndex].value;
  if (type == 'K') { document.location = root_path + 'show_k.php'; }
  if (type == 'k') { document.location = root_path + 'show_k.php?k=x&id=' + val; }
  if (type == 'L') { document.location = root_path + 'show_l.php'; }
  if (type == 'l') { document.location = root_path + 'show_l.php?l=x&id=' + val; }
  if (type == 'D') { document.location = root_path + 'show_data.php'; }
  if (type == 'd') { document.location = root_path + 'show_data.php?ord=' + val; }
  sel.selectedIndex = 0;
}