#include<bits/stdc++.h>
using namespace std;
using uint = unsigned int;
using ll = long long;
using ull = unsigned long long;
template<class T> using V = vector<T>;
template<class T> using VV = V<V<T>>;
template<class T> using VVV = V<VV<T>>;
template<class T> using VVVV = VV<VV<T>>;
#define rep(i,n) for(ll i=0ll;i<n;i++)
#define REP(i,a,n) for(ll i=a;i<n;i++)
const long long INF = (1LL << 60);
const long long mod99 = 998244353;
const long long mod107 = 1000000007;
const long long mod = mod99;
#define eb emplace_back
#define pb eb
#define be(v) (v).begin(),(v).end()
#define all(i,v) for(auto& i : v)
#define all2(i,j,v) for(auto& [i,j] : v)
template<class T, class U> void chmin(T& t, const U& u) { if (t > u) t = u; }
template<class T, class U> void chmax(T& t, const U& u) { if (t < u) t = u; }

// cin.tie(nullptr);
// ios::sync_with_stdio(false);
// cout << fixed << setprecision(20);

void solve(){
  V<ll> v = {0,31,28,31,30,31,30,31,31,30,31,30,31};
  string s;
  cin >> s;
  ll y = stoll(s.substr(0,4));
  ll m = stoll(s.substr(5, 2));
  ll d = stoll(s.substr(8, 2));
  if(y%4==0) if(y%100||y%400==0) v[2]++;
  d += 2;
  if(v[m] < d){
  	d -= v[m];
  	v[m]++;
  }
  if(m>=13){
  	y++;
  	m = 1;
  }
  cout << y << "/";
  if(m<10) cout << "0";
  cout << m << "/";
  if(d<10) cout << "0";
  cout << d << endl;
}





int main(){
  cin.tie(nullptr);
  ios::sync_with_stdio(false);
  int t=1;
  // cin >> t;
  rep(i,t) solve();
}