若有定义语句:char s[10]="1234567\0\0",则strlen(s)的值是?到底strlen 函数计数时