Python: How to generate a 12-digit random number?,"'%0.12d' % random.randint(0, 999999999999)"