#include <iostream>
using namespace std;
int getmonthday(int year,int month)
{
static int arr[13] = {-1,31,28,31,30,31,30,31,31,30,31,30,31};
if(month == 2 && ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)))
{
return 29;
}
return arr[month];
}
int main() {
int y, n;
while (cin >> y >> n) {// 注意 while 处理多个 case
int month = 1;
int day = 0;
day += n;
while(day > getmonthday(y,month))
{
day -= getmonthday(y, month);
month++;
if(month == 13)
{
y++;
month = 1;
}
}
printf("%04d-%02d-%02d\n",y,month,day);
}
}
// 64 位输出请用 printf("%lld")