#include<bits/stdc++.h>
#define endl '\n';
#define rep(i,n) for(int i=0; i<(n); i++)
using namespace std;
using ll = long long;
using P = pair<int,int>;
#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#pragma GCC optimize("Ofast")
constexpr ll INF = 1e18;
constexpr int inf = 1e9;
constexpr double INFD = 1e100;
constexpr ll mod = 1000000007;
constexpr ll mod2 = 998244353;
const double PI = 3.1415926535897932384626433832795028841971;
const int dx[4] = {1, 0, -1, 0};
const int dy[4] = {0, 1, 0, -1};
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }
// ios::sync_with_stdio(false);
// cin.tie(nullptr);
// ---------------------------------------------------------------------------

int main(){
  string S;
  cin >> S;
  vector<int> day = {0,31,28,31,30,31,30,31,31,30,31,30,31};
  int y=0,m=0,d=0;
  for(int i=0; i<4; i++){
    y *= 10;
    y += S[i] - '0';
  }
  for(int i=5; i<7; i++){
    m *= 10;
    m += S[i] - '0';
  }
  for(int i=8; i<10; i++){
    d *= 10;
    d += S[i] - '0';
  }
  bool uru = false;
  if(y%4 == 0){
    if(y%100 == 0){
      if(y%400 == 0){
        uru = true;
      }
    }else{
      uru = true;
    }
  }
  if(uru){
    day[2] = 29;
  }
  d += 2;
  if(day[m] < d){
    d -= day[m];
    m++;
    if(12 < m){
      y++;
      m = 1;
    }
  }
  cout << setfill('0') << right << setw(4) << y;
  cout << '/';
  cout << setfill('0') << right << setw(2) << m;
  cout << '/';
  cout << setfill('0') << right << setw(2) << d << endl;
  return 0;
}