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 merit 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.
It's okay buddy even though no one has ever recorded the number 9999 by anyone we can still see other users to reach that number soon, maybe theymos or El duderino_ whoever recorded this number 9999 in the near future they will reach 10k again.