183     }

   183     }

   184     unset($result);

   184     unset($result);

   185     

   185     

   186     $per_page = 10;

   186     $per_page = 10;

   187     $start = ( isset($_GET['start']) ? intval($_GET['start']) : 0 );

   187     $start = ( isset($_GET['start']) ? intval($_GET['start']) : 0 );

   188     $start_string = $start + 1;

   190     $start_string = $start + 1;

   189     $per_string = $start_string + $per_page - 1;

   191     $per_string = $start_string + $per_page - 1;

   190     $num_results = count($results);

   192     $num_results = count($results);

   191     if ( $per_string > $num_results )

   193     if ( $per_string > $num_results )

   192       $per_string = $num_results;

   194       $per_string = $num_results;