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