#include<stdio.h>

int main(void) {
	int N, i;
	int num[50001];
	scanf("%d", &N);
	if (N % 2) {
		num[0] = 7;
	}else {
		num[0] = 1;
	}
	for (i = 1; N > 3; i++) {
		num[i] = 1;
		N -= 2;
	}
	num[i] = '\0';
	i = 0;
	while (num[i] != '\0') {
		printf("%d", num[i++]);
	}
}