#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;
}