HASH(0x7f5cb0fdb2c0)