下面程序段的输出结果是________。 int main(void ) { char string1[20],string2[20]={"ABCDEF"}; strcpy(string1,string2); printf("%s\n",string1+3); return 1; }