#include <bits/stdc++.h>
using namespace std;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;
typedef unsigned long long ull;

int mlast[] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
bool is_uruu(int y){
  return y % 400 == 0 || (y % 4 == 0 && y % 100 != 0);
}

int main(){
  string S;
  cin >> S;
  int yyyy = 1000 * (S[0] - '0') + 100 * (S[1] - '0') + 10 * (S[2] - '0') + 1 * (S[3] - '0');
  int mm = 10 * (S[5] - '0') + 1 * (S[6] - '0');
  int dd = 10 * (S[8] - '0') + 1 * (S[9] - '0');

  dd += 2;

  int last = mlast[mm];
  if(mm == 2 && is_uruu(yyyy)) last++;

  if(last < dd){
    mm++;
    dd -= last;
  }
  if(12 < mm){
    yyyy++;
    mm = 1;
  }

  printf("%04d/%02d/%02d\n", yyyy, mm, dd);
  
  return 0;
}