#include <stdio.h>
int n[18]={0 ,31,28,31,30,31,30,31,31,30,31,30,31 };
int r[18]={ 0 ,31,29,31,30,31,30,31,31,30,31,30,31};
int main() {
int y,d, b;
while (scanf("%d%d", &y, &b)!=EOF) { // 注意 while 处理多个 case
// 64 位输出请用 printf("%lld") to
int k=1;//月份计算
if((y%4==0 && y%100!=0)||y%400==0)//闰年?
{
for(int i=1;i<=12 ;i++)
{
b-=r[i];
k++;
if(b<=0)
{
b+=r[i];
d=b;
k--;
printf("%04d-%02d-%02d\n",y,k,d);
break;
}
}
}
else {
for(int i=1;i<=12;i++)
{
b-=n[i];
k++;
if(b<=0)
{
b+=n[i];
d=b;
k--;
printf("%04d-%02d-%02d\n",y,k,d);
break;
}
}
}
//printf("%04d-%02d-%02d\n",y,k,d);
}
return 0;
}