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