Add problem 7: 10001st prime.