HASH(0x7f5cec4ea9d8)