HASH(0x7fee0e5cd2b0)