HASH(0x76102c02ef70)