#include <stdio.h>
int main()
{
char c;
int year;
int month;
int day;

scanf("%c%d/%d/%d",&c,&year,&month,&day);
/* 元号を西暦に変換する処理は後回し */
printf("%d年%02月%02日\n",year,month,day);

return 0;
}