compute the 10000th prime