#include <stdio.h>
#include <stdlib.h>

int main() {
    int i,N, num;
    char S[100000];
    scanf("%d", &N);
    
    for (i = 0; i < (int)N / 2; i++) {
        S[i] = '1';
    }
    if (N % 2 == 1) {
        S[i-1] = '7';
    }
    S[i] = '\0';
    num = atoi(S);
    printf("%d\n", num);
    return 0;
}