单选题 若已包括头文件＜stdio.h＞和＜string.h＞，运行下面程序的输出结果是______。
char s1[10]="12345",s2[10]="089",s3[]="67";
strcat(strcpy(s1,s2),s3);
puts(s1);