设chars[10]=”peace”；，执行语句printf（“%d\n”，strlen(s)）；后输出的结果是  。