#include <iostream>
#include <vector>
#include <string.h>
#include<stdio.h>
using namespace std; 

int main(){
   int x, y, z; 
   scanf("%d.%d.%d", &x, &y, &z);
   printf("%04d.%02d.%02d", x, y, z);
  
}