#include <iostream>
using namespace std;

int perday[]={0,31,28,31,30,31,30,31,31,30,31,30,31};
void nextday(int &year,int &month,int &day){
    if(year%400==0||(year%100!=0&&year%4==0))perday[2]=29;
    else perday[2]=28;
    day++;
    if(day>perday[month]){
        month++,day=1;
        if(month>12)year++,month=1;
    }

}
int main() {
    int year,n;
    while (cin >> year >> n) { // 注意 while 处理多个 case
        int day=1,month=1;
        n--;
        while(n--)nextday(year,month,day);
        printf("%d-%02d-%02d\n",year,month,day);
    }
}
// 64 位输出请用 printf("%lld")