当执行下面的程序时，如果输入ABC，则输出结果是( )。 #include <stdio.h> #include <stdlib.h> #include <string.h> int main() { char ss[10] = "12345"; gets_s(ss); strcat(ss, "6789"); printf("%s\n", ss); system("pause"); return 0; }

1. A. 12345ABC6789
2. B. ABC6789
3. C. 12345ABC67
4. D. 12345ABC6