#include <iostream>
using namespace std;

int getmonthday(int year,int month)
{
    static int monthday[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 monthday[month];
}

int main() 
{
    int year,month,day;
    while(scanf("%d%d",&year,&day)!=EOF)
    {
        month=1;
        //当前天数大于月份天数
        while(day>getmonthday(year, month))
        {
            day-=getmonthday(year, month);
            month++;
            if(month>12)
            {
                year++;
                month=1;
            }
        }
        printf("%4d-%02d-%02d\n",year,month,day);
    }
    return 0;
}