#include <stdio.h>

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

    }

    return 0;
}