At the end of September, how many does the SEC