#include <stdio.h>

int main(void)
{
    int year;
    scanf("%d", &year);
    printf("%d\n", year - 2017);
    
    return 0;
}