#include <stdio.h>
int main(){
    int i,k,n;
    
    scanf("%d",&n);
    
    if (n%2==1){
        putchar('7');
        n-=3;
    }
    k=n/2;
    for (i=0;i<k;i++) putchar('1');
    
	return 0;
}