#include <stdio.h>

int main(int argc, char *argv[])
{
	unsigned int N_match_num;
	unsigned int i;

	scanf("%d", &N_match_num);

	for (i = 0; N_match_num != 0; i++)
	{
		if (N_match_num == 3)
		{
			printf("7");
			break;
		}
		N_match_num -= 2;
		printf("1");
	}




	return 0;
}