n = int(input()) ones = n // 2 res = [1] * ones if n % 2 != 0: res[0] = 7 print(*res, sep='')