z1 := (4,7,6,8)(9,12,11,10);