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