python输入输出之格式化输出