main(n){
    scanf("%d",&n);
    n*=1.5;
    printf("%d",n);
}