#!/bin/python3

import re
import sys

for line in sys.stdin:
	line = line.rstrip("\n")
	fields = line.split("\t")

	if len(fields) < 3:
		continue

	time = fields[0]

	# Equivalent of:
	# gensub(/([0-9]+)\.([0-9]{,2})([0-9]*)/, "\\1\\2.\\3", "g", time)
	time = re.sub(r'(\d+)\.(\d{0,2})(\d*)', r'\1\2.\3', time)

	# AWK rounds by adding 0.5 then truncating.
	time = int(float(time) + 0.5)

	millis = time % 100
	time //= 100

	seconds = time % 60
	time //= 60

	minutes = time % 100

	print(f"[{minutes:02d}:{seconds:02d}.{millis:02d}]{fields[2]}")