703x2 ) [ 1212 .]