#include #include #include #include int main() { int k = 0; scanf("%d", &k); printf("%d\n",k-2017); return 0; }