#include<stdio.h>

int main(void){
    
    int n,m,k;
    char l,s;
    scanf("%d%c%d%c%d",&n,&l,&m,&s,&k);
 
    if(m==12){
        if(k==30)printf("%d/01/01\n",n+1);
        else if(k==31)printf("%d/01/02\n",n+1);
        else printf("%d/%02d/%02d\n",n,m,k+2);   }
    
    else{
        if(m==2){
            if(n%4==0){
                if(k==28)printf("%d/03/01\n",n);
                else if(k==29)printf("%d/03/02\n",n);
                else printf("%d/%02d/%02d\n",n,m,k+2);          }
            else{
                if(k==27)printf("%d/03/01\n",n);
                else if(k==28)printf("%d/03/02\n",n);
                else printf("%d/%02d/%02d\n",n,m,k+2);          } }
        
        else if(m==4||m==6){
            if(k==29)printf("%d/%02d/01\n",n,m+1);
            else if(k==30)printf("%d/%02d/02\n",n,m+1);
            else printf("%d/%02d/%02d\n",n,m,k+2);   }
        else if(m==9||m==11){
            if(k==29)printf("%d/%02d/01\n",n,m+1);
            else if(k==30)printf("%d/%02d/02\n",n,m+1);
            else printf("%d/%02d/%02d\n",n,m,k+2);   }
        
        else{
            if(k==30)printf("%d/%02d/01\n",n,m+1);
            else if(k==31)printf("%d/%02d/02\n",n,m+1);
            else printf("%d/%02d/%02d\n",n,m,k+2);   } }
    
    
    return 0;
    
}