#include <bits/stdc++.h>
using namespace std;
int main(){
  int yy,mm,dd;
  scanf("%d/%d/%d",&yy,&mm,&dd);
  dd=dd+2;
  if((yy%4==0&&yy%100!=0)||yy==2000||yy==2400){
    if(mm==2&&dd>29){
      cout << yy << "/03/0" << dd-29 << endl;
    }else if(dd>30&&(mm==4||mm==6)){
      cout << yy << "/0" << mm+1 << "/0" << dd-30 << endl;
    }else if(dd>31&&mm==12){
      cout << yy+1 << "/01/0" << dd-31 << endl;
    }else if(dd>30&&(mm==9||mm==11)){
      cout << yy << "/" << mm+1 << "/0" << dd-30 << endl;
    }else if(dd>31){
      printf("%04d/%02d/%02d\n",yy,mm+1,dd-31);
    }else{
      printf("%04d/%02d/%02d\n",yy,mm,dd);
    }
  }else{

    if(mm==2&&dd>28){
      cout << yy << "/03/0" << dd-28 << endl;
    }else if(dd>30&&(mm==4||mm==6)){
      cout << yy << "/0" << mm+1 << "/0" << dd-30 << endl;
    }else if(dd>31&&mm==12){
      cout << yy+1 << "/01/0" << dd-31 << endl;
    }else if(dd>30&&(mm==9||mm==11)){
      cout << yy << "/" << mm+1 << "/0" << dd-30 << endl;
    }else if(dd>31){
      printf("%04d/%02d/%02d\n",yy,mm+1,dd-31);
    }else{
      printf("%04d/%02d/%02d\n",yy,mm,dd);
    }
  }
  return 0;
}