若有定义语句：“char s[10]="1234567＼0＼0"；”，则strlen(s)的值是( )。