#include <stdio.h>
#include <string>
int main()
{
char id[18] = "";
printf("input your identify card:\n");
fgets(id, 18, stdin);
char year[4] = "";
char month[2] = "";
char day[2] = "";
memcpy(year, id + 6, 4);
memcpy(month, id + 10, 2);
memcpy(day, id + 12, 2);
printf("%d %02d %02d %d\n",
atoi(year), atoi(month), atoi(day), atoi(year) + atoi(month) + atoi(day));
return 0;
}