HASH(0x7f5cec8356b8)