/* Navigation functions. */
function nextPage() {
  if (ctr < ctrMax) {
    ++ctr;
    updateLocs();
  }
}
function prevPage() {
  if (ctr > 0) {
    --ctr;
    updateLocs();
  }
}
function firstPage() {
  ctr = 0;
  updateLocs();
}
function lastPage() {
  ctr = ctrMax;
  updateLocs();
}
function selectPage(page) {
  ctr = page;
  updateLocs();
}