HASH(0x7f5ce0ba47d0)