void main()
{
	int w;
	scanf("%d",&w);
	if((w+12)%7==5)    printf("1\n");
	if((w+43)%7==5)    printf("2\n");
	if((w+71)%7==5)    printf("3\n");
	if((w+102)%7==5)    printf("4\n");
	if((w+132)%7==5)    printf("5\n");
	if((w+163)%7==5)    printf("6\n");
    if((w+193)%7==5)    printf("7\n");
	if((w+224)%7==5)    printf("8\n");
	if((w+255)%7==5)    printf("9\n");
	if((w+285)%7==5)    printf("10\n");
	if((w+316)%7==5)    printf("11\n");
	if((w+346)%7==5)    printf("12\n");
}
