#include <stdio.h>
#include <math.h>
int main() {
  unsigned int n,minute;
   scanf("%u",&n);
   minute = ((ceil)(n /12) * 4)+2;
   printf("%u",minute);
    return 0;
}