#include <stdio.h>

int main() {
	int n;

	scanf("%d", &n);
	if (n % 2 == 1) {
		n -= 3;
		putchar('7');
	}
	while (n > 0) {
		putchar('1');
		n -= 2;
	}
	putchar('\n');
	return 0;
}