bin1 := (1,2);