int main(int argc, char* argv[])
{
	int n;
	scanf("%d",&n);
	if (12%7+n>7) {
		if ((12%7+n-7)==5) printf("1\n");}
	else {if ((12%7+n)==5) printf("1\n");}
	if (43%7+n>7) {
		if ((43%7+n-7)==5) printf("2\n");}
	else {if ((43%7+n)==5) printf("2\n");}
	if (71%7+n>7) {
		if ((71%7+n-7)==5) printf("3\n");}
	else {if ((71%7+n)==5) printf("3\n");}
	if (102%7+n>7) {
		if ((102%7+n-7)==5) printf("4\n");}
	else {if ((102%7+n)==5) printf("4\n");}
	
	if (132%7+n>7) {
		if ((132%7+n-7)==5) printf("5\n");}
	else {if ((132%7+n)==5) printf("5\n");}
	if (163%7+n>7) {
		if ((163%7+n-7)==5) printf("6\n");}
	else {if ((163%7+n)==5) printf("6\n");}
	if (193%7+n>7) {
		if ((193%7+n-7)==5) printf("7\n");}
	else {if ((193%7+n)==5) printf("7\n");}
	if (224%7+n>7) {
		if ((224%7+n-7)==5) printf("8\n");}
	else {if ((224%7+n)==5) printf("8\n");}
	if (255%7+n>7) {
		if ((255%7+n-7)==5) printf("9\n");}
	else {if ((255%7+n)==5) printf("9\n");}
		if (285%7+n>7) {
		if ((285%7+n-7)==5) printf("10\n");}
	else {if ((285%7+n)==5) printf("10\n");}
		if (316%7+n>7) {
		if ((316%7+n-7)==5) printf("11\n");}
	else {if ((316%7+n)==5) printf("11\n");}	
	if (346%7+n>7) {
		if ((346%7+n-7)==5) printf("12\n");}
      else {if ((346%7+n)==5) printf("12\n");}
	return 0;
}

