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