#include <iostream>

bool IsLeapYear(int year){
    return((year%4==0&&year%100!=0)||year%400==0);
}

int daytab[2][13]={
            {0,31,28,31,30,31,30,31,31,30,31,30,31},
            {0,31,29,31,30,31,30,31,31,30,31,30,31}
};
int main() {
      int year,month,day;
      int number;
      while(scanf("%d %d",&year,&number)!=EOF){
          month=0;                  //初始化月份
          int row = IsLeapYear(year);//判断是否闰年
          while(number > daytab[row][month]){
              number -= daytab[row][month];
              month++;
          }
          day = number;
          printf("%04d-%02d-%02d\n",year,month,day);
      }
    return 0;
}