#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")