{
	printf("%s %d %s\n", t, NR, $0);
}