HASH(0x7f5ce2843de0)