#include<stdio.h>

int main(void){
	int n;
	scanf("%d",&n);
	while(n > 3){printf("1");n-=2;}
	if(n == 3){printf("7\n");}else{printf("1\n");}
	return 0;
}