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