#include <stdio.h>
int main(void){
    int i=0;
    scanf("%d",&i);
    int N=i*1.5;
    printf("%d",N);
}