#include <stdio.h>

int main() {
  int n;
  scanf("%d", &n);

  while (n) {
    if (n%2==1) {
      printf("7");
      n-=3;
    }
    
    while (n) {
      printf("1");
      n-=2;
    }
  }
  printf("\n");
  return 0;
}