HASH(0x7f5ceedd4308)