#include <stdio.h>

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