HASH(0x7f5cdcfe55d0)