#include <stdlib.h>
#include <stdio.h>
#include <string.h>
int main()
{
    
    
char *str;
str = (char*) malloc(12);
scanf("%s",str);
int day=0;
int m=0;
int y=0;
sscanf(str, "%d.%d.%d", &day, &m, &y);
if( (day<0 || day>=31)||(m<0 || m>12)){
    return 0;
}

day+=7;
if(day>31 && m%2!=0){
    day-=31;
    m++;
}
else if(day>30 && m%2==0){
    if(m==2 &&(y%400==0 ||(y%100!=0 && y%4==0))){
        day-=29;
    }
    else{
    day-=31;
    }
    m++;
}
if(m>12){
    m-=12;
    y++;
}

printf(" %d.%d.%d",day,m,y);


    return 0;
}