0x859f8c4f…12a02019-08-02·#8,272,418·view on Etherscan convert bytes to hex, and verify` that the number is in [0, 10000