HASH(0x7f5cec2287b8)