#include <stdio.h>

main()
{
	int c;
	
	while (1) {
		c = getchar();
		printf("%02x  ", c);
	}
}
.