HASH(0x7f5cec3ad2a0)