Verisign seems confident enough it will be counting the money that the indicative is its 10K filings with the SEC. 

You can follow the story line here.