HASH(0x7f5cec0423f8)