#include<bits/stdc++.h>
using namespace std;
using Int = long long;
template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;}
template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;}

//INSERT ABOVE HERE
signed main(){
  Int n;
  cin>>n;

  n-=2014;

  auto is_uruu=[](Int x){
                 if(x%400==0) return 1;
                 if(x%100==0) return 0;
                 if(x%4==0) return 1;
                 return 0;
               };
  auto calc=
    [&](Int z){
      Int res=0;
      for(Int i=0;i<=z;i++)
        res+=365+is_uruu(2015+i);
      return res%7==0;
    };
  
  Int x=n/2800;
  Int y=n%2800;

  Int z=0;
  for(Int i=0;i<2800;i++) z+=calc(i);

  Int ans=x*z;
  for(Int i=0;i<y;i++) ans+=calc(i);
  
  cout<<ans<<endl;
  return 0;
}