10001 prime number