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






    }
    printf("%d",cc);






}