#include <stdio.h>

int main(void)
{
	int c;
	int i = 1;

	printf(
"#ifndef S10SH_FAVICON_H\n"
"#define S10SH_FAVICON_H\n"
"\n"
"static unsigned char favicon[] = {\n"
	);
	while((c = getchar()) != EOF) {
		printf("0x%02X, ", (unsigned char) c);
		if (i && !(i%8))
			printf("\n");
		i++;
	}
	printf(
"};\n\n"
"#endif /* S10SH_FAVICON_H */\n");
	return 0;
}