#include <stdio.h>
int main(){

    int N;
    
    if (scanf("%d",&N)!=EOF){
        if (N<2001||N>2100){printf("Invalid year!");}
        else{
            int count=0;
            for (int i=2001;i<=N && i<=2100;i++){
            if ((i%4==0 && i%100!=0) || i%400==0){count++;printf("%d\n",i);}      
            }
            if (count==0){printf("None");}
        }
        
        
    }else{
        printf("input wrong");
    }
    
    return 0;
}

#include <stdio.h>
int main(){

    int N;
    
    if (scanf("%d",&N)!=EOF){
        if (N<2001||N>2100){printf("Invalid year!");}
        else{
            int count=0;
            for (int i=2001;i<=N && i<=2100;i++){
            if ((i%4==0 && i%100!=0) || i%400==0){count++;printf("%d\n",i);}      
            }
            if (count==0){printf("None");}
        }
        
        
    }else{
        printf("input wrong");
    }
    
    return 0;
}