#include<iostream>
#include<string.h>
#include<stdio.h>
#include<map>
#include<vector>
#include<queue>
#include<stack>
#include<math.h>
#include<set>
#include<bitset>
#include<deque>
#include<unordered_map>
#include<algorithm>
#define int long long
using namespace std;
//typedef pair<int,int>PII;
const int N=1e6+10,M=5e2+10;
int a[3000];
int b[10]={10,8,13,11,9,14,12};
int n;
void df(){
	stack<int>q;
	for(int i=1913;i<=2019;i++){
		if(i%400==0 || (i%4==0 && i%100!=0)) q.push(i);
		
	}
	int num=0;
	while(q.size()){
		num++;
		int oo=q.top();
		q.pop();
		a[oo]=b[num%7];
	}
	cin>>n;
	if(n==1913){
		cout<<"11\n";
		return ;
	}
	if(n==1914){
		cout<<"10\n";
		return ;
	}
	if(n==1915){
		cout<<"9\n";
		return ;
	}
	if(n%400==0 || (n%4==0 && n%100!=0)){
		cout<<a[n]<<endl;
	}
	else{
		int st=0;
		for(int i=1;i<=3;i++){
			int oo=n-i;
			if(oo%400==0 || (oo%4==0 && oo%100!=0)){
				st=i;
				break;
			}
		}
		int ans=a[n-st];
		while(st--){
			if(ans==8) ans=14;
			else ans--; 
		}
		cout<<ans<<endl;
	}
}

signed main(){
	ios::sync_with_stdio(false);
	cin.tie();
	cout.tie();
	int t=1;
//	cin>>t;
//	n=1913;
	while(t--)
	{
		df();
//		n++;
	}
	return 0;
}