#include #include int main(void) { char in[5]; scanf("%s", in); printf("%d\n", (2017 - atoi(in))); }