#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;

int N;
int digit[10] = {6, 2, 5, 5, 4, 5, 6, 3, 7, 6};

int main() {
  cin >> N;
  string ans;
  while (N > 0) {
    if (N % 2 == 1) {
      ans += '7';
      N -= 3;
    } else {
      ans += '1';
      N -= 2;
    }
  }
  cout << ans << endl;
  return 0;
}