#include<stdio.h>
int main()
{
    int n = 0;
    scanf("%d",&n);
    printf("%d",n/12*4+2);
    return 0;
}