用户输入及格式化输出