#include<stdio.h>

struct node

{

    int year,month,day,x;

}p;

int s[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};

int main(){

    while (scanf("%d %d",&p.year,&p.x)!=EOF)

    {

        if(p.year%400==0||(p.year%4==0&&p.year%100!=0))

            s[2]=29;

        p.month=1;

        while (p.x>s[p.month])

        {

            p.x=p.x-s[p.month];

            p.month++;

        }

        printf("%4d-%02d-%02d\n",p.year,p.month,p.x);

    }

    return 0;

}