#include <iostream>
#include <cstdio>
#include <cmath>
#include <cstring>
#include <algorithm>
#include <vector>
#include <queue>
#include <map>
#include <set>
#define Buff ios::sync_with_stdio(0), cin.tie(0), cout.tie(0)
using namespace std;
typedef long long ll;
const int inf = 0x3f3f3f3f;

void solve()
{
	int n;
	cin >> n;

	if(n == 2019) cout << 12;
	else
	{
		int day = 3;
		for(int i = 2018; i >= n; i--)
		{
			int num = 365;
			if((i % 4 == 0 && i % 100 != 0) || i % 400 == 0)
			{
				num++;
			}
			for(int j = 1; j <= num; j++)
			{
				day = (day - 1 + 7) % 7;
			}
		}
		int cnt = 0;
		if(day == 0) cnt++;
		for(int i = 2; i <= 31; i++)
		{
			day = (day + 1) % 7;
			if(day == 0)
			{
				cnt++;
				if(cnt == 2)
				{
					cout << i << endl;
					return;
				}
			}
		}
	}
}

int main()
{
	Buff;
	int N = 1;
	//cin >> N;
	while(N--)
		solve();
	return 0;
}