#include <stdio.h>

int main() {
    int n;
    scanf("%d", &n);
    if(n / 12 < 1)
        printf("%d", 2);
    else
        printf("%d", n / 12 * 4 + 2);
    return 0;
}