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