int main()
{
    int a,b,c=13,i=0;
    scanf("%d",&a);
    for(b=0;b<12;b++)
    {
                     if((b-1)*(b-3)*(b-5)*(b-7)*(b-8)*(b-10)*(b-12)==0)
                     c=c+31;
                     if((b-4)*(b-6)*(b-9)*(b-11)==0)
                     c=c+30;
                     if(b==2)
                     c=c+28;
                     if((c+a-1)%7==5)
                     {
                     if(i!=0)
                     printf("\n");
                     i++;
                     printf("%d",b+1);
                     }
                     }
    }
