How much $ did the SEC office make yesterday?