[填空题,2分] ．设char s[ ]= "Star"；，执行语句printf("％d"，strlen(s))；后的输出结果是__________。