HASH(0x7fee0257cf40)