#include<bits/stdc++.h>
#define ALL(v) std::begin(v),std::end(v)
using lint=long long;
using ld=long double;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    lint now=2014,period=2800;
    auto is_leap=[&](lint x){return !(x%4)&&(x%100||!(x%400));};
    lint unit=0;
    for(lint i=now,j=0;i<now+period;i++){
        j=(j+365+is_leap(i+1))%7;
        unit+=!j;
    }
    lint n;std::cin>>n;
    lint ans=0;
    while(now<n-period){
        n-=period;
        ans+=unit;
    }
    for(lint i=now,j=0;i<n;i++){
        j=(j+365+is_leap(i+1))%7;
        ans+=!j;
    }
    std::cout<<ans<<'\n';
}