#include <iostream>
#include <list>
#include <vector>
#include <string>
#include <stdio.h>
#include <stdint.h>
#include <iomanip>
using namespace std;

using uint = unsigned int;
using ll = long long;

#define CIN( LL , A ) LL A; cin >> A 
#define GETLINE( A ) string A; getline( cin , A ) 
#define FOR_ITR( ARRAY , ITR , END ) for( auto ITR = ARRAY .begin() , END = ARRAY .end() ; ITR != END ; ITR ++ ) 

int main()
{

  CIN( string , T );
  ll Y = stoi( T.substr( 0 , 4 ) );
  ll M = stoi( T.substr( 5 , 2 ) );
  ll D = stoi( T.substr( 8 , 2 ) );
  bool b = true;

  const ll day[13] = { 0 , 31 , 28 + ( Y % 400 == 0 ? 1 : Y % 100 == 0 ? 0 : Y % 4 == 0 ? 1 : 0 ) , 31 , 30 , 31 , 30 , 31 , 31 , 30 , 31 , 30 , 31 };

  if( D + 2 <= day[ M ] ){

    b = false;
    D += 2;

  } else if( D + 1 == day[ M ] ){

    D = 1;

  } else {

    D = 2;

  }

  if( b ){

    if( M == 12 ){

      M = 1;

    } else {

      b = false;
      M++;

    }

  }

  if( b ){

    Y++;

  }
  
  cout << Y << "/" << to_string( M + 100 ).substr( 1 ) << "/" << to_string( D + 100 ).substr( 1 ) << endl;
  return 0;

}