HASH(0x76107de985b0)