#include <stdio.h> 
int Time(int x){
  if(x<12){
    return 2;
  }else{
    return (x/12)*4+2;
  }

}
int main(){
    int n=0;
    scanf("%d",&n);
    int x = Time(n);
    printf("%d",x);

    return 0;
}