python: how to generate a 12-digit random number?,"random.randint(100000000000, 999999999999)"