如何用文件中的另一个数字替换一个数字？

Question

with open(inp_file) as file:
    for line in file:
        if '*Hello' in line:
            values = file.__next__()
             World = literal_eval(values)[0]

* Hello之后的行中有两个数字30,40。我将这行存储在``值''中，现在，我选择第一个数字30并将其存储在``世界''中。我想用2500替换存储在``世界''中的数字，并将此数字写入同一文件中。怎么样？