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