#include<stdio.h>
int main(){
int year=0;
scanf("%d\n",&year)
for(year=1000;year<2000;year++){
if(((year%4==0)&&(year%100!=0))||(year%400==0))
printf("%d\n",year);
}
return 0;
}
#include<stdio.h>
int main(){
int year=0;
scanf("%d\n",&year)
for(year=1000;year<2000;year++){
if(((year%4==0)&&(year%100!=0))||(year%400==0))
printf("%d\n",year);
}
return 0;
}