#include <stdio.h>

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