[单选题]设 char s[ ]={‘I’, '\0','h','a','v','e'};，执行语句 printf("%d\n",strlen(s));后输出结果是（   ）