HASH(0x7f5cdcfe3d20)