added nextPrime8191()