main(i,j){scanf("%d",&j);for(i=2e3;i<=j;i+=(i+=4)%100?0:4)printf("%d\n",i);}