#include <stdio.h>

int main()
{
	char c;
	int i;

	for (i = 0; i < 10; i++) {
		c = "12345ABCDE"[i];
		printf("%c ", c);
	}
}