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