#include <bits/stdc++.h>
using namespace std;
#define int long long
int month[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};

signed main() {
    int y,m,d;
    scanf("%lld/%lld/%lld",&y,&m,&d );
    d+=2;
    int u=y%400==0||(y%100&&y%4==0);
    if(u)month[2]++;
    if(month[m]<d)d=d-month[m++];
    if(m>12){
        m=1;
        y++;
    }
    printf("%04lld/%02lld/%02lld\n",y,m,d );
}