/*#include <stdio.h>
int n;
long long int d[110];
long long int f()
{
long long int min=d[1];
for(int i=1;i<=n;i++)
{
if(d[i]<min)
{
min=d[i];
}
}
return min;
}
int main()
{
scanf("%d", &n);
for(int i=1; i<=n; i++)
scanf("%lld", &d[i]);
printf("%lld", f());
return 0;
}*/
/*
#include <stdio.h>
int n, d[110];
int f()
{
int max=-2147483648,m=0;
for(int i=0;i<n;i++)
{
if(d[i]>max)
{
max=d[i];
m=i;
}
}
return m+1;
}
int main()
{
scanf("%d", &n);
for(int i=0; i<n; i++)
scanf("%d", &d[i]);
printf("%d", f());
return 0;
}
#include<stdio.h>
int main()
{
int i,j,n,a[33];
scanf("%d",&n);
for(j=0;;j++)
{
a[j]=n%2;
if(n/2==0)
{
break;
}
n=n/2;
}
for(i=j;i>-1;i--)
{
printf("%d",a[i]);
}
}*/
#include<stdio.h>
int main()
{
int f,b,y=0,m=0,d=0,s=0;
scanf("%d-%d",&f,&b);
y=f/10000;
b/=1000000;
if(b<=2)
{
y=y+1900;
}
else
{
y=y+2000;
}
printf("%04d/",y);
}