#include <stdio.h>
int main(){
    int n,sum=0;
    scanf("%d",&n);
    while(n>12){ n-=12; sum+=4;}
    printf("%d",sum+2);
    return 0;
}