#include <stdio.h>
//给出年份m和一年中的第n天,算出第n天是几月几号
int main() {
int m,n;
int y,r=0;
while(scanf("%d %d",&m,&n)!= EOF){
int i=1;
while(n>0){
if(i==1||i==3||i==5||i==7||i==8||i==10||i==12)
{
n=n-31;
}
else if(i==2){
if((m%4==0&&m%100!=0)||m%400==0){
//即为闰年,2月29天
n=n-29;
}
else
n=n-28;
}
else
{
n=n-30;
}
y=i;
i=i+1;
}
if(y==1||y==3||y==5||y==7||y==8||y==10||y==12)
{
n=n+31;
}
else if(y==2){
if((m%4==0&&m%100!=0)||m%400==0){
//即为闰年,2月29天
n=n+29;
}
else
n=n+28;
}
else
{
n=n+30;
}
r=n;
printf("%04d-%02d-%02d\n",m,y,r);
}
return 0;
}