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