#include <iostream>
#include <stack>
#include <string>
#include<queue>
#include<vector>
using namespace std;
bool runnian(int year) {
	return (year % 400 == 0) || year % 4 == 0 && year % 100 != 0;

}
int monthday[2][13] = {
	0,31,28,31,30,31,30,31,31,30,31,30,31,
	0,31,29,31,30,31,30,31,31,30,31,30,31 };
int main()
{
	int year, day_year;

	while (cin >> year >> day_year)
	{
		int day_enough = 0;
		int month_cout = 0;
		int day_cout = 0;
		int leap = runnian(year) ? 1: 0;
		for(int i=1;i<13;i++){
			day_cout = day_year - day_enough;
			day_enough += monthday[leap][i];
			if (day_year <= day_enough) {
				month_cout = i;
				break;
			}
		
		}
		printf("%04d-%02d-%02d", year, month_cout, day_cout);
	}

	return 0;

}