#include <bits/stdc++.h>
using namespace std;
int main() {
  long n;
  cin >> n;
  if (n % 2 == 1) {
    cout << 7;
    n -= 3;
  }
  if (n > 0) {
    while (n >= 1000) {
      cout << "1111111111111111111111111111111111111111111111111111111111111111"
              "1111111111111111111111111111111111111111111111111111111111111111"
              "1111111111111111111111111111111111111111111111111111111111111111"
              "1111111111111111111111111111111111111111111111111111111111111111"
              "1111111111111111111111111111111111111111111111111111111111111111"
              "1111111111111111111111111111111111111111111111111111111111111111"
              "1111111111111111111111111111111111111111111111111111111111111111"
              "1111111111111111111111111111111111111111111111111111";
      n -= 1000;
    }
    while (n >= 100) {
      cout << "11111111111111111111111111111111111111111111111111";
      n -= 100;
    }
    while (n >= 10) {
      cout << "11111";
      n -= 10;
    }
    while (n > 0) {
      cout << '1';
      n -= 2;
    }
  }
  cout << endl;
  return 0;
}
