#include <iostream>
using namespace std;

int GetMonthDay(int year,int month)
{
    int MonthDay[13]={0,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;
    }
    else 
    {
    return MonthDay[month];
    }
}

int main() {
    int a, b;
    
    while (cin >> a >> b) 
    { // 注意 while 处理多个 case
        int c=1;
        while(b>GetMonthDay(a, c))
        {
          b-=GetMonthDay(a, c);
          c++;
        }
        printf("%04d-%02d-%02d\n",a,c,b);
    }
}
// 64 位输出请用 printf("%lld")