#include<stdio.h>

int main(void)
{
	int N;

	while(scanf("%d", &N)==1)
	{
		printf("7\n");
	}

	return 0;
}