//#pragma GCC optimize(2)
#include<bits/stdc++.h>
using namespace std;
#define int long long
#define ll long long
#define N 200005
#define mod 998244353
#define pii pair<int,int>
#define mp make_pair
#define pb push_back
#define ls (rt<<1)
#define rs ((rt<<1)|1)
#define fi first
#define se second
#define INF 1e9
#define rep(i,l,r) for(int i=(l);i<=(r);i++)
int qpow(int a,int b){
	int res=1;
	for(;b;b>>=1){
		if(b&1) res=res*a%mod;
		a=a*a%mod;
	}
	return res;
}
/*int fac[N],ifac[N];
int C(int n,int m){
	if(m>n||m<0||n<0) return 0;
	return fac[n]*ifac[n-m]%mod*ifac[m]%mod;
}
void init(){
	fac[0]=1;
	for(int i=1;i<N;i++) fac[i]=fac[i-1]*i%mod;
	ifac[N-1]=qpow(fac[N-1],mod-2);
	for(int i=N-2;i>=0;i--) ifac[i]=ifac[i+1]*(i+1)%mod;
}*/
inline int lowbit(int x){return x&(-x);}
inline int read(){
	int x=0,t=1;char ch=getchar();
	while(ch<'0'||ch>'9'){
		if(ch=='-') t=-1;
		ch=getchar();
	}
	while(ch>='0'&&ch<='9'){
		x=(x<<1)+(x<<3)+(ch-'0');
		ch=getchar();
	}
	return x*t;
}
inline void write(int x){
	if(x<0) putchar('-'),x=-x;
	if(x>=10) write(x/10);
	putchar(x%10+'0');
}
int T,n,a=2019,b=5,c=12;
set<int>se[N];
int mo[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};
signed main(){
	ios::sync_with_stdio(false);
	cin.tie(0);cout.tie(0);
	int now=0;
	while(a>=1913){
		if(now%7==0&&b==5) se[a].insert(c);
		now++;c--;
		if(c==0){
			b--;
			if(b==0){
				a--;
				b=12;c=mo[12];
			}else{
				if(b==2){
					if(a%4==0) c=29;
					else c=28;
				}
				else c=mo[b];
			}
		}
	}
	int x;cin>>x;
	auto it=se[x].begin();it++;
	cout<<(*it)<<endl;
	return 0;
}