HASH(0x7f5ce64daeb0)