如何将列中的所有值修改为固定的9位数，以及每个值的结果都以常量INT405 eg.51=405000051开头

# 列中的值
values = [51, 1234, 987654321]

# 遍历每个值
for value in values:
    # 将值转换为字符串，并计算长度
    value_str = str(value)
    length = len(value_str)
    
    # 如果长度小于9，则在值的前面补充0，直到长度达到9位
    if length < 9:
        value_str = '0' * (9 - length) + value_str
    
    # 将值与常量INT405拼接起来
    result = 'INT405' + value_str
    
    # 输出结果
    print(result)

INT405000051
INT405001234
INT405987654321