codice:
IF(!$_GET['page']) $current_page = 1; 
ELSE  $current_page = (int)$_GET['page'];
Forse cosi' e' piu' chiaro....