python基础教程：字符串格式化