HASH(0x76102de82f18)