HASH(0x7fee0a58d4d0)