选择题

38. 若有定义语句：char s[10]="1234567\0\0";，则strlen(s)的值是______。