function sortResults(sortRank) {
  document.forms['results'].elements['batch'].value=1;
  document.forms['results'].elements['sort_by'].value=sortRank;
  document.forms['results'].elements['action'].value='rerank';
  document.forms['results'].submit();
}