#include<stdio.h>

int main(void){
    int year,month,day=0;
    
    scanf("%d/%d/%d",&year,&month,&day);
    
    day+=2;
    if(month==4||month==6||month==9||month==11){
        if(day>30){
            day=2;
            month+=1;
        }   
    }else if(month==2){
        if((year%4)*(year%100)+(year%400)==0){
            if(day>29){
                day=2;
                month+=1;
            }
        }else{
            if(day>28){
                day=2;
                month+=1;
            }
        }
    }else{
        if(day>31){
            day=2;
            if(month==12){
                month=1;
                year+=1;
            }else{
                month+=1;
            }
        }
    }

    printf("%d/%02d/%02d\n",year,month,day);

    return 0;
}