当执行下面的程序时，如果输入ABC，则输出结果是 ( )
　　# include＜stdio．h＞
　　# include＜string．h＞
　　main( )
　　 char ss [10] ＝"12345"；
　　　gets(ss)；strcat(ss"6789")；printf("%s\\n"，ss)；

A．ABC6789

B．ABC67

C．12345ABC6

D．ABC456789