found the 10001th prime number