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

int main() {
    ll n;
    cin>>n;
    int d=0;
    int p400=0;
    for(int i=2015;i<=2014+400;i++){
		if (i%400==0||i%100!=0&&i%4==0) d+=2;
		else d++;
		d%=7;
		if (d==0) p400++;
	}
    ll ans=(n-2014)/400*p400;
    int remain=(n-2014)%400;
    d=0;
    for (int i=2015;i<=2014+remain;i++) {
        if (i%400==0||i%100!=0&&i%4==0) d+=2;
        else d++;
        d%=7;
        if (d==0) ans++;
    }
    cout<<ans<<endl;
    return 0;
}