#!/bin/gawk -f
BEGIN { FS = "\t" }
{
	time = $1
	time = gensub(/([0-9]+)\.([0-9]{,2})([0-9]*)/, "\\1\\2.\\3", "g", time)
	time = int(time + 0.5)

	millis = time % 100
	time = int(time / 100)

	seconds = time % 60
	time = int(time / 60)

	minutes = time % 100

	printf("[%02d:%02d.%02d]%s\n", minutes, seconds, millis, $3)
}