HASH(0x7f5cec0927b8)