#include <stdio.h>

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