primes <= 10000