python: how to generate a 12-digit random number?,""""""""""""".join(str(random.randint(0, 9)) for _ in range(12))"