z3怎么