vodox

#include<bits/stdc++.h>
int main()
{
    int n,a,b;
    scanf("%d",&n);
    if(n%3!=0) printf("%d\n",((n-1)/3)*8+(n%3)+1);
    else printf("%d\n",((n-1)/3)*8+4);
    return 0;
}