#include <stdio.h>

int main()
{
    int year, month, date;
    scanf("%4d%2d%2d", &year, &month, &date);
    printf("year=%d\nmonth=%02d\ndate=%02d", year, month, date);
    return 0;
}