#include<stdio.h>
int main(void){
	int count, dig, i;
	char ans[5000];
	scanf("%d", &count);
	dig = count/2;
	if(count <= 1){
		ans[0] = '0';
	}else if(count%2 == 0){
		for(i = 0 ; i < dig ; i++){
			ans[i] = '1';
		}
	}else if(count%2 == 1){
		ans[0] = '7';
		for(i = 1 ; i < dig ; i++){
			ans[i] = '1';
		}
	}
	printf("%s", ans);
	return 0;
}