for(i<-2 to 7757)if((""+i).matches("[2357]+")&&BigInt(17).pow(i-1)%i<2)println(i)