1259X3 ) ( 880 .)