#include <stdio.h>

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