执行下面程序后，输出结果是【 】。 main() { char s[12]="very good!"; printf("%d",strlen(s)); }