#include<stdio.h>

int main()
{
    int n = 0;//前面排队等待的人数
    int time = 0;//到达楼上所需的时间
    scanf("%d", &n);//输入
    while(n > 12)//小乐乐进入电梯前的等待时间
    {
        n -= 12;
        time += 4;
    }
    time += 2;//小乐乐乘坐电梯的时间
    printf("%d", time);//打印
    return 0;
}