格式化字符串.python