"; if(isset($page) and $page>1) { if($page > 20) { for($i=$page-10; $i<$page; $i++) { if($i>=$page-10) echo " "; echo " ", build_href3("Citations.php", $query . "&hitlist=true&page=" . $i, $i); }} if($page<=20) { for($i=1; $i<$page; $i++) { if($i>=1) echo " "; echo " ", build_href3("Citations.php", $query . "&hitlist=true&page=" . $i, $i); }}} if($gesamt>$pagesize) { if(isset($page)) echo " "; else $page=1; echo $page, " "; if($page > 10) { for($i=$page; $i<($gesamt / $pagesize); $i++){ if($i>=$page and $i-$page <= 10) {echo " "; echo build_href3("Citations.php", $query . "&hitlist=true&page=" . ($i+1), ($i+1));}}} if($page <= 10) { for($i=$page; $i<($gesamt / $pagesize); $i++){ if($i>=$page and $i-$page <= 19) {echo " "; echo build_href3("Citations.php", $query . "&hitlist=true&page=" . ($i+1), ($i+1));}}} } echo ""; ?>