HASH(0x7fee0a5848b0)