HASH(0x76102c0efc38)