#include <iostream>
#include <cstdio>
#include <vector>
#include <algorithm>
#include <utility>

using namespace std;
bool is_leap(int y) {
	return  y % 4 == 0 && (y % 100 > 0 || y % 400 == 0);
}

int main() {
	//2015≤N≤10000000000=10^10
	long long n;
	cin >> n;

	int diff = 365 % 7;
	long long ans = 0;
	int days = 0; //曜日


/*
	for (int i = 0; i < 400; i++) {
		if (i % 400 == 0) {
			printf("%5d, %d\n", i, days);
		}
		days = (days + diff + is_leap(i)) % 7;
	}
*/
	int sameInLoop = 0;
	for (int i = 2015; i < 2415; i++) {
		days = (days + diff + is_leap(i)) % 7;
		if (days == 0) {
			sameInLoop++;
		}
	}

	long long n_loop = (n - 2015) / 400;
	ans = n_loop * sameInLoop;
	long long n_begin = 2015 + n_loop * 400;
	//2014年7月23日(水)に初めてのyukicoder no.1 として
	//2014/7/23を days = 0 として
	for (int i = n_begin; i <= n; i++) {
		days = (days + diff + is_leap(i)) % 7;
		if (days == 0) {
			ans++;
		}
	}

	cout << ans << endl;
	return 0;
}