HASH(0x7f5cec0ff0f0)