>>538
#include <stdio.h>
int main(void)
{
char buf[100];
while (fgets(buf, sizeof(buf), stdin) != NULL) {
int n1, n2, n3;
if (sscanf(buf, "%d%d%d", & n1, & n2, & n3) != 3) break;
printf("t%02d %2d %2d\n", n1, n2, n3);
}
return 0;
}