I once read that even with overlays and such, we're going to have a problem in the United States in another 10-20 years, and will have to go to 11- or 12-digit numbers.

//