HASH(0x7f1379ec5320)