#include<bits/stdc++.h>
using namespace std;
int f[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
int main(){
	int year,days;
	while(scanf("%d%d",&year,&days)!=EOF){
		f[2]=28;
		int day = 0; 
		if ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)) f[2]=29;
		int cnt=0,w=0;
		while(days>w){
			w+=f[cnt++];
		}
		for(int i=0;i<cnt-1;i++){
			day += f[i];
		}
		day= days-day;
		printf("%04d-%02d-%02d\n",year,cnt-1,day);
	}
	
	return 0;
}