#include "stdio.h"
void main()
{
int year=1000;
while(year++<=2000)
{
   if(year%400==0||(year%4==0&&year%100!=0)) printf("%10d",year);

}
}