z1 := (2,4)(3,5)(7,8);