#include <iostream>
#include <stack>
#include <string>
#include<queue>
#include<vector>
using namespace std;
bool runnian(int year) {
return (year % 400 == 0) || year % 4 == 0 && year % 100 != 0;
}
int monthday[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, day_year;
while (cin >> year >> day_year)
{
int day_enough = 0;
int month_cout = 0;
int day_cout = 0;
int leap = runnian(year) ? 1: 0;
for(int i=1;i<13;i++){
day_cout = day_year - day_enough;
day_enough += monthday[leap][i];
if (day_year <= day_enough) {
month_cout = i;
break;
}
}
printf("%04d-%02d-%02d", year, month_cout, day_cout);
}
return 0;
}