HASH(0x7f1379ec9378)