#include <stdio.h>
#include <stdbool.h>
bool IsRunYear(int year)
{
return (year % 4 == 0 && year % 100 != 0) || (year % 400 == 0);
}
int table[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 = IsRunYear(year);
while (number > table[row][month]) {
number -= table[row][month];
month++;
}
day = number;
printf("%d-%02d-%02d", year, month, day);
}
return 0;
}