HASH(0x76107ee071c0)