HASH(0x7fee0657dba0)