#include <stdio.h>
int main() {
int year, month, day;
scanf("%d-%d-%d", &month, &day, &year);
printf("%4d-%02d-%02d\n", year, month, day);
return 0;
}
#include <stdio.h>
int main()
{
int y,m,d;
scanf("%d-%d-%d",&m,&d,&y);
printf("%04d-%02d-%02d",y,m,d);
return 0;
}