But somehow they know it is only 15 character names that are a problem. Did they just try every possible length?