HASH(0x76102ded17f0)