"; } } else { echo $counter; } ?>