for(n=i=1;n%--i?n:i=++n%8e3;)i>2||/[^2357]/.test(n)||print(n)