#include <stdio.h>

int main() {
    char date[10];
    scanf("%s",date);
    for(int i=0;i<8;i++)
    {
        if(i==0){printf("year=");}
        else if(i==4){printf("month=");}
        else if(i==6){printf("date=");}
        printf("%c",date[i]);
        if(i==3||i==5||i==7){printf("\n");}
    }
}