print'\n'.join(`x`for x in range(8000)if all(x%i for i in range(2,x))and set(`x`)<=set('2357'))
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page