module main;

import core.stdc.stdio;

int main(string[] argv) {
	int n = 0;
	scanf("%d", &n);
	if((n & 1) == 1) {
		n -= 3;
		putchar('7');
	}
	for(int i = 0; i < n; i += 2)
		putchar('1');
	return 0;
}
