#include <iostream>
using namespace std;
int GetMonthDay(int year,int month)
{
    int Day[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};
    if(2==month&&((year%4==0&&year%100!=0)||(year%400==0)))
        return 29;
        return Day[month];
}
int main() {
   int year=0;
   int month=1;
   int day=0;
   int n=0;
   while(EOF!=scanf("%d%d",&year,&n))
   {
    day=0;
    day+=n;
    int MonthDay=0;
    month=1;
    while(day>(MonthDay=GetMonthDay(year,month)))
            {
                day-=MonthDay;
                month++;
                if(month>12)
                {
                    year++;
                    month=1;
                }
            }
            printf("%d-%02d-%02d\n",year,month,day);
   }
}
// 64 位输出请用 printf("%lld")