当执行下面的程序时，如果输入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

至少说出8种我海军装备的水面战斗舰艇类型？