is 62^12 greater than (2^64-1)