#include <bits/stdc++.h>
using namespace std;
int mouth_day[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 runnian(int year) {
    if (year % 4 == 0 && year % 100 != 0 || year % 400 == 0)return 1;
    else return 0;
}
int main() {
    int year = 0, day = 0;
    while (scanf("%d %d", &year, &day) != EOF) {
        int row = runnian(year);

        int mouth = 0;
        while (day > mouth_day[row][mouth]) {
            day = day - mouth_day[row][mouth];
            mouth++;
        }
        printf("%04d-%02d-%02d\n", year, mouth, day);
    }
    return 0;
}