#include <stdio.h>

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