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