#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv)
{
	char col_start[]="\033[34;40m";
	char col_end[]="\033[37;40m";

	FILE *in=stdin;
	FILE *out=stdout;

	int i=1;
	char buf[256];
	while(NULL!=fgets(buf,255,in))
	{
	    printf("line %s%i%s: %s",col_start,i,col_end,buf);
	    //printf("line %i : %s",i,buf);
	    i++;
	}

	return EXIT_SUCCESS;
}