for $i (1 .. $total_pages) { if ($i == $page)...