若已包括头文件＜stdio.h＞和＜string.h＞，运行下面程序的输出结果是( )。 chars1[10]="12345"，s2[10]="089"，s3[]="67"； strcat(strcpy(s1，s2)，s3)； pu