#include "bits/stdc++.h"
using namespace std;
using ll = long long;
using ld = long double;
using ull = unsigned long long;

const ll N = 3000 + 1;
const ll M = 1e9 + 7;
const vector<ll> O = {1, 3, 5, 7, 8, 10, 12};
const vector<ll> E = {2, 4, 6, 9, 11};

ll n;
ll f[13][N];

void doTest(ll testID) {
    auto isLeap = [&](ll year) -> bool {
        if (year % 400 == 0) return true;
        if (year % 100 == 0) return false;
        return year % 4 == 0;
    };

    auto getDay = [&](ll month, ll year) -> ll {
        for (auto x: O) if (month == x) return 31;
        for (auto x: E) if (month == x) return 30;
        if (isLeap(year)) return 29;
        return 28;      
    };

    cin >> n;
    ll cur = 3;
    for (int i = 1970; i <= 2037; i ++) {
        for (int j = 1; j <= 12; j ++) {
            ll num = getDay(j, i);
            ll res = 1; num -= (6 - cur + 1);
            while (num >= 7) num -= 7, res ++;
            if (num != 0) res ++;
            cur = num;
            f[j][i] = res;
        }
    }

    ll res = 0;
    for (int i = 1; i <= 12; i ++) res += f[i][n];
    cout << res;
}

signed main() {
    ios_base::sync_with_stdio(0); cin.tie(0);

    int test = 1; 
    // cin >> test;
    for (int _ = 1; _ <= test; _ ++) doTest(_);
}