z1 := (1,2,3)(4,6,7);