#include <iomanip>
#include <iostream>
#include <sstream>
#include <string>
using namespace std;
int main(void) {
  string S;
  cin >> S;
  int year = atoi(S.substr(0, 4).c_str());
  int month = atoi(S.substr(5, 2).c_str());
  int day = atoi(S.substr(8, 2).c_str());
  bool leapyear = false;
  if(((0 == year % 4) && (0 < year % 100))
     || (0 == year % 400)) {
    leapyear = true;
  }
  day += 2;
  if(2 == month && !leapyear && day > 28) {
    month++;
    day -= 28;
  } else if(2 == month && leapyear && day > 29) {
    month++;
    day -= 29;
  } else if(4 == month && day > 30) {
    month++;
    day -= 30;
  } else if(6 == month && day > 30) {
    month++;
    day -= 30;
  } else if(9 == month && day > 30) {
    month++;
    day -= 30;
  } else if(11 == month && day > 30) {
    month++;
    day -= 30;
  } else if(day > 31) {
    month++;
    day -= 31;
    if(13 == month) {
      year++;
      month -= 12;
    }
  }

  ostringstream smonthout;
  smonthout << setfill('0') << setw(2) << month;
  string monthstr = smonthout.str();

  ostringstream sdayout;
  sdayout << setfill('0') << setw(2) << day;
  string daystr = sdayout.str();

  cout << year << '/' << monthstr << '/' << daystr << endl;
  return 0;
}