#include<stdio.h>
int main()

{   
    int year = 0;
    int month = 0;
    int date = 0;
    scanf("%4d%2d%2d\n", &year, &month, &date);
    printf("year=%4d\n", year);
    printf("month=%02d\n", month);
    printf("date=%02d\n", date);


    
    
    
     return 0;
}