What the highest prime number under 10000?