HASH(0x7fee0017dd48)