python字符串处理以及字符串格式化