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