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