#include <stdio.h>
int main(void){
	int n,i;
	scanf("%d",&n);
	if(n%2==0){
		for(i=0;i<n/2;i++){
			printf("1");
		}
	}
	else{
		printf("7");
		for(i=1;i<n/2;i++){
			printf("1");
		}
	}
}