单项选择题

下面程序执行后,如果输入的是ABC则输出的结果是()
#include
main()
{
char ss[10]=""12345"";
strcat(ss,""6789"");
scanf(""%s"",ss);
printf(""%s\n"",ss);
}

A.ABC9
B.ABC456789
C.123456ABC
D.ABC