#include <iostream>
using namespace std;
int main()
{
int _year = 0;
int _day = 0;
while(scanf("%d%d",&_year,&_day)!=EOF)
{
int arr[13] = {-1,31,28,31,30,31,30,31,31,30,31,30,31};
if(_year%400==0 || (_year%4==0 && _year%100!=0))
{
arr[2] +=1;
}
int i = 1;
while(_day>arr[i])
{
_day-=arr[i];
++i;
}
if(i<10)
{
if(_day<10)
{
cout<<_year<<"-"<<0<<i<<"-"<<0<<_day<<endl;
}
else
{
cout<<_year<<"-"<<0<<i<<"-"<<_day<<endl;
}
}
else
{
if(_day<10)
{
cout<<_year<<"-"<<i<<"-"<<0<<_day<<endl;
}
else
{
cout<<_year<<"-"<<i<<"-"<<_day<<endl;
}
}
}
return 0;
}
// 64 位输出请用 printf("%lld")