code: def check_manual_seed(seed):
      
  
      seed = seed or random.randint(1, 10000)
      random.seed(seed)
      torch.manual_seed(seed)
  
      print('Using manual seed: {seed}'.format(seed=seed))
docs: If manual seed is not specified, choose a random one and communicate it to the user.