import random
import json

unique_numbers = random.sample(range(0x0001, 0xFFFF), 100)

hexnum = [hex(n) for n in unique_numbers]

with open("./hexnum.json", "w") as f:
    json.dump(hexnum, f, indent=4)