以下程序的输出结果是【13】 。 main() { char s[]="abcdef"; s[3]=’\0’; printf("%s\n",s); }