HASH(0x76102badda80)