function hasPage(page) {
  if (!shortIndex) {
    return false;
  }
  return page in shortIndex;
}
// There is no need to re-read the index file again.
There is no need to re-read the index file again.
There is no need to re - read the index file again .
function hasPage(page) {
  if (!shortIndex) {
    return false;
  }
  return page in shortIndex;
}
function hasPage ( page ) { if ( ! shortIndex ) { return false ; } return page in shortIndex ; }
There is no need to re-read the index file again.
There is no need to re - read the index file again .