HASH(0x76102805bc20)