如何在文件名的整数部分加上一个固定的数字？

import re

def add_fixed_number_to_filename(filename, fixed_number):
    # 拆分文件名和扩展名
    name, extension = re.match(r'^(.*?)(\.[^.]+)?$', filename).groups()

    # 提取整数部分
    integer_part = re.match(r'^.*?(\d+).*$', name).group(1)

    # 将整数部分转换为数字类型
    integer = int(integer_part)

    # 在整数部分加上固定的数字
    new_integer = integer + fixed_number

    # 重新组合文件名
    new_filename = name.replace(integer_part, str(new_integer)) + extension

    return new_filename

# 示例用法
filename = "file123.txt"
fixed_number = 5
new_filename = add_fixed_number_to_filename(filename, fixed_number)
print(new_filename)