#include<stdio.h>
int main() {

    int year, month, day, days;
    int a[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    while (scanf("%d %d", &year, &days) != EOF) { //2000 40
        month = 1; //初始化
        day = 0;
        while (days > 0) {
            if ((year % 400 == 0) || (year % 4 == 0 && year % 100 != 0))
                a[2] = 29;
            else
                a[2] = 28;

            day++;   //记录月日
            days--;
            if (day > a[month]) { //下一个月
                day = 1;
                month++;
            }
            if (month > 12) {
                day = 1;
                month = 1;
                year++;
            }

        }
        printf("%d-%02d-%02d\n", year, month, day);

    }
    return 0;
}