HASH(0x7fee1658f4d0)