下列程序的输出结果是 （）。
#include 
#include   main( )
{
   int i=0;
   char str1[10]=“1234”, str2[10]= “567”;
   strcat(str1,str2);
   while(str2[i++]!=‘\0’)
    str2[i]=str1[i];
   puts(str2); 
 }