HASH(0x7f5ce939c3f0)