#include <stdio.h>

int main() {
    int a, b;
    scanf("%d",&a);
    printf("%d",a/12*4+2);
    return 0;
}