ah, per evitare errori io consiglierei anche una cosa di questo tipo:

Codice PHP:
// pagina corrente
$current_page = (!$_GET['page']) ? : (int)$_GET['page']; 
if (
$current_page>$tot_pages || $current_page<1)
   
$current_page=1
Questo perchè la gente solitamente, invece di usare quello che viene dato loro attraverso i link, tende a pasticciare con i parmaetri che vede nella barra degli indirizzi.
Così facendo, se qualcuno inserisce page=250, invece di un errore o di zero record, verrà reindirizzato a pagina 1.