python: how to generate a 12-digit random number?,'%012d' % random.randrange(10 ** 12)