#include <stdio.h>

void main(void){
    
    int year,month,date;
    scanf("%d/%d/%d",&year,&month,&date);
    date += 2;
    if(date >= 31){
        date = date-31;
        month++;
    }
    if(month >= 13){
        month = month - 13;
        year++;
    }
    printf("%d/%02d/%02d",year,month,date);
}