#include <cstdio>

using namespace std;

int dayTab[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}
};

bool isLeapYear(int year) {			//判断是否为闰年
	if ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)) {
		return true;
	} 
	else {
		return false;
	}
}

int main() {
	int year, n;
	while ((scanf("%d%d", &year, &n)) != EOF) {
		int flag = isLeapYear(year);
		int month = 1;
		int day;
		while (n > dayTab[flag][month]) {
			n -= dayTab[flag][month];
			month++;
		}
		day = n;
		printf("%04d-%02d-%02d\n", year, month, day);
	}
	return 0;
}