No. 9999 was not recorded by anyone because Ratimov had given his all to reach 10k so number 9999 failed to be in the moment right.
If I had known in advance that fillippone would be pleased to see an unprecedented record of 9999, then I would send him measures exactly up to this mark, then I would send 1 more measure in the second transaction. I would have no more than 2 minutes for all these manipulations, because the beautiful numbers of active users are destroyed very quickly.