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