#include <stdio.h>
void main(){
	int N;
	scanf("%d",&N);

	if(N&1){
		N>>=1;
		putchar('7');
		N--;
	}else{
		N>>=1;
	}


	while(N){
		putchar('1');
		N--;
	}
	putchar('\n');
}