input: Write a python function to generate a random 4-digit number using the random module.
  assert 1000 <= generate_random_4digit() <= 9999
  assert isinstance(generate_random_4digit(), int)
output: def generate_random_4digit():
      import random
      return random.randint(1000, 9999)