#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;
}