HASH(0x7f5cdcfe74d0)