#include <bits/stdc++.h>
#ifdef LOCAL
#include "cp_debug.h"
#else
#define debug(...) 42
#endif
#define rep(i,a,b) for(int i = a; i < b; ++i)
#define all(x) begin(x), end(x)
#define sz(x) (int)x.size()
using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef pair<string, int> Op;

template<typename T> void read(T &x){
    x = 0;char ch = getchar();ll f = 1;
    while(!isdigit(ch)){if(ch == '-')f*=-1;ch=getchar();}
    while(isdigit(ch)){x = x*10+ch-48;ch=getchar();}x*=f;
}
template<typename T, typename... Args> void read(T &first, Args& ... args) {
    read(first);
    read(args...);
}
template<typename T> void write(T x) {
    if(x > 9) write(x/10);
    putchar(x%10 + '0');
}

bool is_leap_year(int y) {
  return ((y % 400 == 0 || (y % 4 == 0 && y % 100 != 0)));
}
int num_days_per_year(int y) {
  return 365 + is_leap_year(y);
}

int weekday_of_jan_1(int y) {
  int p = 2023, wday = 6;
  if(y == p) {
    return wday;
  } else if (y < p) {
    while(p > y) {
      wday = (wday - num_days_per_year(p-1) % 7 + 7) % 7;
      p--;
    }
  } else if(y > p) {
    while(p < y) {
      wday = (wday + num_days_per_year(p)) % 7;
      p++;
    }
  }
  return wday;
}

const int DAYS_PER_MONTH[] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
signed main() {
  int y, ans = 0;
  cin >> y;
  int p = weekday_of_jan_1(y);
  for(int m = 0; m < 12; m++) {
    int days = DAYS_PER_MONTH[m] + (m==1 && is_leap_year(y)), last = 6;
    for(int i = 0; i < days; i++) {
      if(last == 6) {
        ans++;
      }
      last = p;
      p = (p + 1) % 7;
    }
    debug(m, days, ans);
  }
  cout << ans << endl;
  return 0;
}