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