for p in range(8000):
 if`p`.strip('2357')==''>3%p==3**p%p:print p