#include <stdio.h>
main(){
	char line[1024];
	int li;
	for( li = 1; fgets(line,sizeof(line),stdin); li++ )
		fprintf(stdout,"%6d\t%s",li,line);
}