#include<stdio.h>
int main(){
    long long int n,cc;
    scanf("%d",&n);
    cc=n;
    for(int i=0;i<100;i++){
        n-=2;
        cc+=1;
        n+=1;
        if(n==0){
            break;
        }


    }
    printf("%d",cc-1);






}