#include<cstring>
using namespace std；
int Y,M,D,T,S,m；
int a[7]；
void jian()
{
a[6]=m；a[5]=S-20；a[4]=T-10；
a[3]=D-18；a[2]=M-5；a[1]=Y-1990；
if (a[6]<0) {
a[6]+=60；
a[5]--；
}
if (a[5]<0){
a[5]+=60；
a[4]--；
}
if (a[4]<0){
a[4]+=24；
a[3]--；
}
int dx[13]={0,31,0,31,30,31,30,31,31,30,31,30,31}；
if (a[3]<0){
if (a[2]!=2) a[3]+=dx[a[2]]；
else{
if (Y%400==0 || Y%100!=0 && Y%4==0)
a[3]+=29；
else
a[3]+=28；
}
}
if (a[2]<0){
a[2]+=12；
a[1]--；
}
}
void jia()
{
a[6]=0-m；a[5]=20-S；a[4]=10-T；
a[3]=18-D；a[2]=5-M；a[1]=1990-Y；
if (a[6]<0) {
a[6]+=60；
a[5]--；
}
if (a[5]<0){
a[5]+=60；
a[4]--；
}
if (a[4]<0){
a[4]+=24；
a[3]--；
}
int dx[13]={0,31,0,31,30,31,30,31,31,30,31,30,31}；
if (a[3]<0){
if (a[2]!=2) a[3]+=dx[a[2]]；
else{
if (Y%400==0 || Y%100!=0 && Y%4==0)
a[3]+=29；
else
a[3]+=28；
}
}
if (a[2]<0){
a[2]+=12；
a[1]--；
}
}
int main()
{
char c；
cin>>Y>>c>>M>>c>>D>>c>>T>>c>>S>>c>>m；
if (Y>1990) jian()；
else if (Y==1990 && M>5) jian()；
else if (Y==1990 && M==5 && D>18) jian()；
else if (Y==1990 && M==5 && D==18 && T>10) jian()；
else if (Y==1990 && M==5 && D==18 && T==10 && S>20) jian()；
else if (Y==1990 && M==5 && D==18 && T==10 && S==20 && m>0) jian()；
else if (Y==1990 && M==5 && D==18 && T==10 && S==20 && m==0){
cout<<"0/0/0/0/0/0\n"；
return 0；
}else jia()；
for (int i=1；i<6；i++) cout<<a[i]<<"/"；
cout<<a[6]<<endl；
return 0；
}