HASH(0x76102dedac58)