main(i,j){for(j=3;i++<999;i%j?:printf("%d\n",i,j+=j%7?2:-4));}