
// Values that can be used in other PHP code on the page
$paginate_num_pages = 45;
$paginate_num_sections = 313;
$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 = 45;
elseif($paginate_current_page < 1)
$paginate_current_page = 1;
elseif($paginate_current_page > 45)
$paginate_current_page = 45;
$paginate_sections = array( 0
, 7, 14, 21, 28, 35, 42, 49, 56, 63, 70, 77, 84, 91, 98, 105, 112, 119, 126, 133, 140, 147, 154, 161, 168, 175, 182, 189, 196, 203, 210, 217, 224, 231, 238, 245, 252, 259, 266, 273, 280, 287, 294, 301, 308, 313);
$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 = 313;
}
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";
?>