python - python输入输出之format格式化函数