#include <stdio.h>

int main() {
	char flag[] = { "0111110" };
	char c;
	printf("%s", flag);
	while (scanf("%c", &c)>0)
	{
		printf("%c", c);
	}
	printf("%s", flag);
	return 0;
}