$(function() {
  //Check to see if this page's URL points to another page
  paging.check_hash();
  
  //Setup click event handlers for AJAX navigation
  paging.setup();
});