Random IP Generator

import os
import sys
import random

run = bool(True)
line = int(200)
line_s = 0
line_m = line

while run == True:

    octet1 = random.randint(1, 255)
    octet2 = random.randint(1, 255)
    octet3 = random.randint(1, 255)
    octet4 = random.randint(1, 255)

    final = str(octet1) + "." + str(octet2) + "." + str(octet3) + "." + str(octet4)

    line_s += 1
    line_m -= 1

    sys.stdout.write("| IP: {} | Total: {} | Left: {} |".format(final, line_s, line_m))
    sys.stdout.flush()
    if os.name == 'nt':
        os.system('cls')

    elif os.name == 'posix':
        os.system('clear')

    f = open("a.out", "a").write("{}\n".format(final))

    if (line_s == line):
        sys.exit("Generated {} Lines".format(line_s))