编写函数，自动生成100个9位ISBN书号，并保存到文件ISBN_9.txt中。书号参考格式如下：7-111-48768，其中书号第一位肯定是7，中间三位和末尾五位用随机数产生，三位数范围为[100,999]，五位数范围为[30000,80000]。

好的，以下是实现代码：

import random

def generate_ISBN_9():
    prefix = '7'  # 第一位固定为7
    middle = str(random.randint(100, 999))  # 产生三位随机数
    suffix = str(random.randint(30000, 80000))  # 产生五位随机数
    return f"{prefix}-{middle}-{suffix}"

# 生成并保存书号到文件
with open("ISBN_9.txt", "w") as f:
    for i in range(100):
        f.write(generate_ISBN_9() + "\n")

该程序定义了一个 `generate_ISBN_9` 函数，用于生成一个符合要求的 9 位 ISBN 书号。然后使用 `open` 函数打开 ISBN_9.txt 文件，并循环生成 100 个书号并写入到文件中。请注意，书号格式中的横杠是在字符串拼接时添加的。