HASH(0x7fee0c041af0)