#include<cstdio>
#include<iostream>
using namespace std;
int dayTable[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;
}
return false;
}
int main() {
int year,month,day;
int number; //天数
while(scanf("%d%d",&year,&number) != EOF){
month = 0; //将月份初始化成0
int row = IsLeapYear(year);
while(number > dayTable[row][month]){
number -= dayTable[row][month];
month += 1;
}
day = number;
printf("%04d-%02d-%02d\n",year,month,day);
}
return 0;
}