HASH(0x76102dde42b0)