HASH(0x76102805ef40)