#include <stdio.h>
int main(){
int a;
scanf("%d",&a);
printf(a%2?"7":"1");a-=2+a%2;a/=2;
while(a--)printf("1");
return 0;
}