有以下程序(strcpy为字符串复制函数，strcat为字符串连接函数)：
#include< stdio．h >
#include< string．h >
void main()
{
char a[10]="abc"，b[10]="012"，c[10]="xyz"；
strcpy(a+1，b+2)；
puts(strcat(a，c+1))；
}
程序运行后的输出结果是( )。