How big was that key? 11 pages at 4pt is a lot of characters. I wonder what encoding.