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