#include<bits/stdc++.h>

using namespace std;

// 9(6) -> 7(3) ->1(2)

char rom[6][32]={"","","1","7","11","17"};

int main(){
	int i, j, k, l;
    int n,m;
    
    cin >> n;
    
    k=n/3-1;
    for (i=0;i<k;i++) putchar('7');
    n-=k*(k>0)*3;
    puts(rom[n]);
    
	return 0;
}