#include <stdio.h>
#include <stdbool.h>
int main() {
int year;//2020 //2021
scanf("%d",&year);
if((year%4==0&&year%100!=0)||(year%400==0)){
    printf("%d\n",year);//2020
}
else{
    while(true){
        year++;
        if((year%4==0&&year%100!=0)||(year%400==0)){
            printf("%d\n",year); //2024
            break;
        }
    }
}
//return 0;
}
//

    int n=12345,count=0;
    do{
        n=n/10;
        count++;
    }
    while(n!=0);
    printf("digits:%d\n",count);
    return 0;
}