当执行下面的程序时，如果输入ABC，则输出结果是（）。
#include "stdio.h"
#include "string.h"
main（）
{
char ss[10]="12345"；
gets（ss）；
strcat（ss，"6789"）；
printf（"%s\n"，ss）；
}