下列语句的执行结果是（）。
static char str[10]={“china”}；
printf（“%d”，strlen（str））；

Description：编写一个求字符串长度的函数，其原型如下： int strlen（char str[]）； 
其中str[]表示待求长度的字符串，返回值是str[]的长度。 
注意：主函数已经给出，只需提交strlen（）函数及必要的头文件包含命令。
Input：输入为多行。第一行N>0表示有N个测试用例，后面有N行，每行包含一个字符串（不超过1000个字符）。
Output：输出为多行，每行对应于一个测试用例。每行的格式为： case i：lenght=j. 
其中i表示测试用例编号（从1开始），j表示相应的字符串长度。