// Values that can be used in other PHP code on the page
$paginate_num_pages = 67;
$paginate_num_sections = 332;
$paginate_page_selector = 'page';
$paginate_current_page = @$_GET['page'];
// Pin page selector to a valid number (or 'all')
if($paginate_current_page=='')
$paginate_current_page = '1';
if($paginate_current_page != 'all') {
if($paginate_current_page == 'first')
$paginate_current_page = 1;
elseif($paginate_current_page == 'last')
$paginate_current_page = 67;
elseif($paginate_current_page < 1)
$paginate_current_page = 1;
elseif($paginate_current_page > 67)
$paginate_current_page = 67;
$paginate_sections = array( 0
, 5, 10, 15, 20, 25, 30, 35, 40, 45, 50, 55, 60, 65, 70, 75, 80, 85, 90, 95, 100, 105, 110, 115, 120, 125, 130, 135, 140, 145, 150, 155, 160, 165, 170, 175, 180, 185, 190, 195, 200, 205, 210, 215, 220, 225, 230, 235, 240, 245, 250, 255, 260, 265, 270, 275, 280, 285, 290, 295, 300, 305, 310, 315, 320, 325, 330, 332);
$paginate_top_section = $paginate_sections[$paginate_current_page-1]+1;
$paginate_bottom_section = $paginate_sections[$paginate_current_page];
} else {
$paginate_top_section = 1;
$paginate_bottom_section = 332;
}
if(isset($_SERVER['QUERY_STRING'])) {
$paginate_self = '&' . $_SERVER['QUERY_STRING'] . '&';
$paginate_self = preg_replace("/&page=[^&]*&/", "&", $paginate_self);
$paginate_self = substr($paginate_self, 1, strlen($paginate_self) - 1);
if($paginate_self == '&')
$paginate_self = '';
else
$paginate_self = htmlentities($paginate_self);
} else {
$paginate_self = '';
}
$paginate_self = basename($_SERVER['PHP_SELF']) . "?${paginate_self}page";
?>