#include <cstdio>

int main ()
{
	char a[16];
	scanf ("%s", a);
	
	printf ("7\n");

	return 0;
}
