用字符串将将“xxxxxx”形式的电话号码格式化为“xxx-xxx”的形式

可以使用字符串的切片操作来实现：

phone_number = "1234567"
formatted_number = phone_number[:3] + "-" + phone_number[3:]
print(formatted_number)  # 输出 123-4567

其中，`phone_number[:3]`表示取字符串的前三个字符，即区号；`phone_number[3:]`表示取从第四个字符开始到字符串结尾的所有字符，即电话号码。中间用"-"连接起来即可。