变量、格式化输入输出