#include <stdio.h>

int main() {
    int list1[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    int list2[13] = {0, 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    int year, numday;
    while (scanf("%d %d", &year, &numday) != EOF) {
        int month = 0;
        int day;
        if ((year % 4 == 0 && year % 100 != 0) || year % 400 == 0) {
            for (int i = 0; i <= 12; i++) {
                day = numday;
                numday = numday - list2[i];
                if (numday > 0) {
                    month++;
                } else {
                    break;
                }
            }
        } else {
            for (int i = 0; i <= 12; i++) {
                day = numday;
                numday = numday - list1[i];
                if (numday > 0) {
                    month++;
                } else {
                    break;
                }
            }
        }
        printf("%4d-%02d-%02d", year, month, day);
    }
}