#include <stdio.h>

int main() {
   int a = 0,m=1;
   scanf("%d",&a);

   printf("%d",(a/12)*4+2);
}