#include <stdio.h>

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