HASH(0x7f5cec57c8b8)