#include<stdio.h>
int main(void){
    long double M,a;
    scanf("%lf",&a);
    M=a*1.5;
    printf("%d",M);
    return 0;
}