#include <bits/stdc++.h>
int main() {
  int n, i = 0;
  scanf("%d", &n);
  char s[n / 2];
  if (n % 2) {
    s[0] = '7';
    i = 1;
  }
  while (i < n / 2) {
    s[i] = '1';
    ++i;
  }
  for (i = 0; i < n / 2; ++i) {
    printf("%c", s[i]);
  }
  return 0;
}
