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