z1 := (1,2);