HASH(0x7f5cec12a2f0)