2025- 01-09

#include <stdio.h>

int main()

{

int yyyy,mm,dd;

scanf("%d.%02d.%02d",&yyyy,&mm,&dd);

printf("%d%02d.%02d.%02d",yyyy,mm,dd);

return 0;

}