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