#include <stdio.h>

int main() {
    int n,minutes = 0;
    scanf("%d", &n);
    minutes = (n/12)*4+2;
    printf("%d", minutes);
    return 0;
}