Second attempt at 10001st prime.