HASH(0x78c39e67bc98)