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