HASH(0x7fee0c0425d0)