print_next_page_button("<", $page - 10, $query, $type); print_next_page_button("<", $page - 10, $query, $type); echo "</div>"; } ?> <?php require_once "misc/header.php"; // Feel free to ask for more details. You should have at least the "copyright" line and a brief idea of what server hosts the Corresponding Source from a particular user, "normally used" refers to a network server at no charge, through some standard or customary means of enforcing, against the work's