int main(){
int n,i,k,w;
scanf("%d",&w);
if((w+5)%7==5){
printf("%d\n",1);
}
if((w+36)%7==5){
printf("%d\n",2);
}
if((w+36+28)%7==5){
printf("%d\n",3);
}
if((w+36+28+31)%7==5){
printf("%d\n",4);
}
if((w+36+28+61)%7==5){
printf("%d\n",5);
}
if((w+36+28+92)%7==5){
printf("%d\n",6);
}
if((w+36+28+122)%7==5){
printf("%d\n",7);
}
if((w+36+28+153)%7==5){
printf("%d\n",8);
}
if((w+36+28+184)%7==5){
printf("%d\n",9);
}
if((w+36+28+214)%7==5){
printf("%d\n",10);
}
if((w+36+28+245)%7==5){
printf("%d\n",11);
}
if((w+36+28+275)%7==5){
printf("%d\n",12);
}
return 0;
}