执行以下程序段的输出结果是________.char a[5]= "123",b[7]= "ABCDEF"; strcpy(b,a);puts(b);