712X2 ) [ 1222 ].