#include<stdio.h>
#include<iostream.h>
void main()
{
	char in[40];
	int n,i,d,mi,y,h,m,s,ms,rd,rs,a;
	int mo[12]={0,31,59,90,120,151,181,212,243,273,304,334};
	scanf("%d",&n);
	int day,sec,mon,year,hour,min;
	for(i=0;i<n;i++)
	{
		cin.getline(in,25);
		sscanf(in,"%d:%d:%d %d.%d.%d",&h,&mi,&s,&d,&m,&y);
		a=(y-2000)/400;
		y-=a*400;
		rd=365*(y-2000)+d+a*97+(y%400)/4-(y%400)/100+mo[m-1];
		if((y)%4==0&&((y)%100)!=0&&m>2)
			rd+=1;
		if(y==2000&&m<3) rd--;
		mon=rd/100;
		day=rd%100;
		year=mon/10;
		mon=mon%10;
		rs=s+60*mi+3600*h;
		ms=rs*1000/(36*24);
		hour=ms/10000;
		min=(ms/100)%100;
		sec=ms%100;
		year+=int(146*a);
		printf("%d:%d:%d %d.%d.%d\n",hour, min, sec,day+1, mon+1, year );
	}
}