#include <stdio.h>
int riqi(int a,int b){
int c[15]={0,31,29,31,30,31,30,31,31,30,31,30,31,31};
int d[15]={0,31,28,31,30,31,30,31,31,30,31,30,31,31};
if((a%4==0&&a%100!=0)||(a%400==0)){
for(int i = 1;i < 13;i++){
if(b <= c[i]){
printf("%04d-%02d-%02d\n",a,i,b);
return 0;
}
b = b - c[i];
}
}
else{
for(int i = 1;i < 13;i++){
if(b <= d[i]){
printf("%04d-%02d-%02d\n",a,i,b);
return 0;
}
b = b - d[i];
}
}
return 0;
}
int main(){
int riqi(int,int);
int a,b;
while((scanf("%d %d",&a,&b))!=EOF){
riqi(a,b);
}
return 0;
}