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