#include <stdio.h>  
void NextDay(int &year,int &month,int &day){
	int dayofMonth[]={0,31,28,31,30,31,30,31,31,30,31,30,31};
	int isLeap=(year%400==0)||(year%4==0&&year%100!=0);
	if(isLeap){
		dayofMonth[2]=29;
	} else{
		dayofMonth[2]=28;
	}
	day++;
	if(day>dayofMonth[month]){
		day=1;
		month++;
	}
	if(month>12){
		month=1;
		year++;
		}
		//printf("NextDay year=%d,month=%d,day=%d\n",year,month,day); 
		}
	

int main(){
	int year,n;
	while(scanf("%d%d",&year,&n)!=EOF){
		int next=1;
		int curmonth=1;
		int curday=1;
		 while(1){
		 	if(next==n){
		 		break;
			 }
			 NextDay(year,curmonth,curday);
			 next++;
		 }
		printf("%04d-%02d-%02d\n",year,curmonth,curday);
        }
		return 0;
	}