#include <stdio.h>

int main()
{
	int year = 0; 
	int month = 0; 
	int date = 0; 
	scanf("%4d%2d%2d", &year, &month, &date); 
	if (year >= 1990 && year <= 2015 && month >= 1 && month <= 12 && date >= 1 && date<= 30)
	{
		printf("year=%d\nmonth=%02d\ndate=%02d\n", year, month, date); 

	}
	return 0; 
}