")) { $ctr++; } } } if ($ctr > 0) { return("(".$ctr.")"); } } ?>