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;
}