#include <stdio.h>
#include <string.h>

static	char	buffer[2048];

main()
{
	int	n = 0;

	while (gets(buffer))
	{
		if (!strncmp(buffer, "#define", 7) &&
		    buffer[strlen(buffer) - 1] == '$')
			sprintf(buffer + strlen(buffer) - 1, "%d", n++);
		puts(buffer);
	}
	return 0;
}