HASH(0x7fee0259c8c0)