#include <stdio.h>

int main() {
    
    int n, up, down, time;
    up = 2;//上下楼的时间
    down = 2;

    scanf("%d", &n);
    
    time = n / 12 * (up + down) + up;
    
    printf("%d\n", time);

    return 0;
}