#include<stdio.h>
int main()
{
int N;
scanf("%d",&N);
if(N>10000)
printf("%d-%.2d",N/100,N%100);
else
{if(N/100<22)
printf("%d-%.2d",N/100+2000,N%100);
else
printf("%d-%.2d",N/100+1900,N%100);
};
}
11-26
5094
12-06
3928
04-29
7674
04-27
4573