if ($records_so_far > 0) <>