$current_page=(!$_GET["page"])?1:(int)$_GET["page"];

ecco fatto :)