Is 1000!+1 prime?