#include<stdio.h>

void run(void){
  int n;
  scanf("%d",&n);
  while(n>3){
    putchar('1');
    n-=2;
  }
  putchar(n==3?'7':'1');
  putchar('\n');
  return;
}

int main(void){
  run();
  return 0;
}