#include <stdio.h>
void main(void){
	int N;
	scanf("%d",&N);
	/*time*/
	if(N%2==1){
		printf("7");
		N-=3;
	}
	for((void)0;N>0;N-=2){
		printf("1");
	}
	puts("");
}