Yay, 10007 is a prime!