#include <stdio.h>

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