[ScottBurson]

Are you sure it shouldn't be 2^(3 + 3 + 3*12) = 2^42 ? That would still be a pretty big number, but not yet astronomical.