#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; }