#include <bits/stdc++.h>
using namespace std;

int main() {
    int64_t n;
    cin >> n;
    int64_t k = (n - 2014) / 2800, r = (n - 2014) % 2800;
    int64_t ans = 0;
    int d = 0;
    for (int i = 2015; i <= r + 2014; i++) {
        d++;
        if (i % 4 == 0) d++;
        if (i % 100 == 0) d--;
        if (i % 400 == 0) d++;
        d %= 7;
        if (d == 0) ans++;
    }
    cout << 400 * k + ans << endl;
}