#include <stdio.h>

int main() {
    long n;
    scanf("%ld", &n);
    if(n > 20180000) n = 20180000;
    printf("%ld", n + 2017);
    return 0;
}

#牛客AI配图神器#