#include <bits/stdc++.h>
int n;
int main() {
  scanf("%d", &n);
  int t = n / 2 - 1;
  if (n & 1)
    putchar(55);
  else
    putchar(49);
  int i;
  for (i = 1; i <= t; ++i) putchar(49);
  return 0 * puts("");
}
