填空题 以下程序的输出结果是【13】 。 main1 { char s[]="abcdef"; s[3]='/0'; printf("%s/n",s); }