#include <stdio.h>
int main()
{
  long n, t;   //数太大，用长整型
  scanf("%ld\n", &n);
  t = (n / 12) * 4 + 2;
  printf("%ld\n", t);
  return 0;
}