


int main()
{
	int w;

	scanf("%d",&w);

	if((13-1+w)%7==5) printf("1\n");
	if((44-1+w)%7==5) printf("2\n");
	if((72-1+w)%7==5) printf("3\n");
	if((103-1+w)%7==5) printf("4\n");
	if((133-1+w)%7==5) printf("5\n");
	if((164-1+w)%7==5) printf("6\n");
	if((194-1+w)%7==5) printf("7\n");
	if((225-1+w)%7==5) printf("8\n");
	if((256-1+w)%7==5) printf("9\n");
	if((286-1+w)%7==5) printf("10\n");
	if((317-1+w)%7==5) printf("11\n");
	if((347-1+w)%7==5) printf("12\n");

	return 0;

}