#include <stdio.h>

int main()
{
    int n = 0;
    scanf("%d",&n);
    int minute = 2;        //自己坐电梯需要两分钟
    while(n>=12)
    {
        n-=12;            //排队的次数
        minute+=4;
    }printf("%d",minute);
    return 0;
}