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

void calc_match_max_value(int digit, int seven_flg, char *max_value);

int main(void)
{
    int i_match_count = 0;
    int i_max_value = 0;
    
    char *chr_max_value;
    
    scanf("%d", &i_match_count);
    
    chr_max_value = (char *)malloc((i_match_count/2) * sizeof(char));
    calc_match_max_value(i_match_count/2, i_match_count % 2, chr_max_value);
    
    printf("%s\n", chr_max_value);
}

void calc_match_max_value(int digit, int seven_flg, char *max_value){
    int i;
    
    if(seven_flg == 1){
        max_value[0] = '7';
    } else {
        max_value[0] = '1';
    }
    
    for(i = 1; i < digit; i++){
        max_value[i] = '1';
    }
}