#include <stdio.h>

void main(void){
    int dayList[12] = {31,28,31,30,31,30,31,31,30,31,30,31};
    int year = 0 , month = 0,day = 0;
    scanf("%d/%d/%d", &year , &month , &day );
    if((year % 4 == 0) ^ (year % 100 == 0) ^ (year % 400 == 0)){
        dayList[1] += 1;
    }
    day += 2;
    if(dayList[month-1] < day){
        day = day - dayList[month-1];
        
        month++;
    }
    if(month > 12){
        month = 1;
        year++;
    }
    printf("%d/%02d/%02d",year,month,day);

}