#include <stdio.h>

int main()
{
    int year;
    int month;
    int date;
    scanf("%4d%2d%2d", &year, &month, &date);

    if (year <= 2015 && month <= 12 && date <= 30)
    {
        printf("year=%04d\n", year);
        printf("month=%02d\n", month);
        printf("date=%02d\n", date);
    }
    return 0;
}