HASH(0x7f1379ec8e20)