#include <stdio.h>

int main(void)
{
	int n;
	int i;
	int result;
	
	scanf("%d", &n);
	
	if (n % 2 == 0) {
		n /= 2;
		for (i = 0; i < n; i++) {
			printf("1");
		}
		putchar('\n');
	} else {
		n -= 3;
		n /= 2;
		printf("7");
		for (i = 0; i < n; i++) {
			printf("1");
		}
		putchar('\n');
	}
	
	return 0;
}