选择题   有以下程序(strcpy为字符串复制函数，strcat为字符串连接函数)：
    #include＜stdio.h＞
    #include＜string.h＞
    main()
    {  char a[10]='abc',b[10]='012',c[10]='xyz';
    strcpy(a+1,b+2);
    puts(strcat(a,c+1));
    }
    程序运行后的输出结果是______。