#include<bits/stdc++.h>
using namespace std ;

//判断是否是闰年
bool judge(int year){
    if(year % 4 == 0 ){
        if(year % 100 == 0)
            if(year % 400 == 0)  return true ;
            else return false;
        else
            return true ;
    }else
       return false ;
}

int month[] = {0 ,31 ,28 ,31 ,30 ,31 ,30 ,31 ,31 ,30 ,31 ,30 ,31};

int main(){
    int y ,n ;
    while(scanf("%d %d" ,&y ,&n) != EOF){
        //闰年判断
        if(judge(y))
            month [2] = 29 ;
        else
            month [2] = 28 ;
        //
        int tmp = 0 ;
        int m = 0 ;
        while(tmp + month[++m] < n)
            tmp += month[m];
        int d = n - tmp ;
        printf("%d-%02d-%02d \n" ,y ,m ,d) ;
    }
    return 0;
}