#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>=31){
            if(day==32)day=2;
            else day=1;
            month+=1;
        }   
    }else if(month==2){
        if(((year%4)==0&&(year%100)!=0)||(year%400)==0){
            if(day>=30){
                if(day==31)day=2;
                else day=1;
                month+=1;
            }
        }else{
            if(day>=29){
                if(day==30)day=2;
                else day=1;
                month+=1;
            }
        }
    }else{
        if(day>=32){
            if(day==33)day=2;
            else day=1;
            if(month==12){
                month=1;
                year+=1;
            }else{
                month+=1;
            }
        }
    }

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

    return 0;
}