#include <stdio.h>

int main() {
    int num = 0;
    scanf("%d", &num);
    int time = num / 12;
    time = time * 4 + 2;

    printf("%d",time);

    return 0;
}