#include <stdio.h>

int main() 
{
    int n,num,time=0;
    scanf("%d",&n);
    num=n/12;
    if(num) time=num*4;
    printf("%d\n",time+2);
    return 0;
}