HASH(0x7f5ce064b2c0)