#include<stdio.h>int main(){ int a,d,q; scanf("%d.%d.%d",&a,&d,&q); printf("%04d.%02d.%02d",a,d,q); return 0;}