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