int main()
{
	int w;
    scanf("%d",&w);
	if(12%7+w>7)
	{
		if((12%7+w-7)==5)
		printf("1\n");
	}
	else {
		if(12%7+w==5)
        	printf("1\n");
	}
		if((12+31)%7+w>7)
	{
		if(((12+31)%7+w-7)==5)
		printf("2\n");
	}
	else {
		if((12+31)%7+w==5)
        	printf("2\n");
	}
		if((12+31+28)%7+w>7)
	{
		if(((12+31+28)%7+w-7)==5)
		printf("3\n");
	}
	else {
		if((12+31+28)%7+w==5)
        	printf("3\n");
	}
		if((12+31+28+31)%7+w>7)
	{
		if(((12+31+28+31)%7+w-7)==5)
		printf("4\n");
	}
	else {
		if((12+31+28+31)%7+w==5)
        	printf("4\n");
	}
		if((12+31+28+31+30)%7+w>7)
	{
		if(((12+31+28+31+30)%7+w-7)==5)
		printf("5\n");
	}
	else {
		if((12+31+28+31+30)%7+w==5)
        	printf("5\n");
	}
		if((12+31+28+31+30+31)%7+w>7)
	{
		if(((12+31+28+31+30+31)%7+w-7)==5)
		printf("6\n");
	}
	else {
		if((12+31+28+31+30+31)%7+w==5)
        	printf("6\n");
	}
		if((12+31+28+31+30+31+30)%7+w>7)
	{
		if(((12+31+28+31+30+31+30)%7+w-7)==5)
		printf("7\n");
	}
	else {
		if((12+31+28+31+30+31+30)%7+w==5)
        	printf("7\n");
	}
		if((12+31+28+31+30+31+30+31)%7+w>7)
	{
		if(((12+31+28+31+30+31+30+31)%7+w-7)==5)
		printf("8\n");
	}
	else {
		if((12+31+28+31+30+31+30+31)%7+w==5)
        	printf("8\n");
	}
		if((12+31+28+31+30+31+30+31+31)%7+w>7)
	{
		if(((12+31+28+31+30+31+30+31+31)%7+w-7)==5)
		printf("9\n");
	}
	else {
		if((12+31+28+31+30+31+30+31+31)%7+w==5)
        	printf("9\n");
	}
		if((12+31+28+31+30+31+30+31+31+30)%7+w>7)
	{
		if(((12+31+28+31+30+31+30+31+31+30)%7+w-7)==5)
		printf("10\n");
	}
	else {
		if((12+31+28+31+30+31+30+31+31+30)%7+w==5)
        	printf("10\n");
	}
		if((12+31+28+31+30+31+30+31+31+30+31)%7+w>7)
	{
		if(((12+31+28+31+30+31+30+31+31+30+31)%7+w-7)==5)
		printf("11\n");
	}
	else {
		if((12+31+28+31+30+31+30+31+31+30+31)%7+w==5)
        	printf("11\n");
	}
		if((12+31+28+31+30+31+30+31+31+30+31+30)%7+w>7)
	{
		if(((12+31+28+31+30+31+30+31+31+30+31+30)%7+w-7)==5)
		printf("12\n");
	}
	else {
		if((12+31+28+31+30+31+30+31+31+30+31+30)%7+w==5)
        	printf("12\n");
	}
}
	
	
