HASH(0x76102ded84f0)