#include <bits/stdc++.h>

using namespace std;

#define iter(v) v.begin(), v.end()
#define SZ(v) int(v.size())
#define pb emplace_back
#define ff first
#define ss second

using ll = long long;
using pii = pair<int, int>;
using pll = pair<ll, ll>;

#ifdef zisk
void debug(){cout << endl;}
template<class T, class ... U>
void debug(T a, U ... b){ cout << a << " ", debug(b...); }
template<class T> void pary(T l, T r){
	while(l != r) cout << *l << " ", l++;
	cout << endl;
}
#else
#define debug(...) void()
#define pary(...) void()
#endif

template<class A, class B>
ostream& operator<<(ostream& o, pair<A, B> p){
	return o << '(' << p.ff << ',' << p.ss << ')';
}

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

	int n;
	cin >> n;
	//2023 is sunday ->6	
	int first = 6;
	auto days = [&] (int year) {
		if (year % 4 ==0) return 366;
		else return 365;
	};
	for (int i = 0;i < 2023 - n;i++) {
		int year = 2023 - i - 1;
		first = ((first - days(year))% 7 + 7) % 7;
	}
	for (int i = 0;i < n - 2023;i++) {
		int year = 2023 + i;
		first = ((first + days(year))% 7);	
	}
	int month[12] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
	if (days(n) == 366) month[1] = 29;

	int ans = 0;
	for (int i = 0;i < 12;i++) {
		ans += (first + month[i] + 6) / 7;
		first = (first + month[i]) % 7;
	}
	cout << ans << "\n";
}