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