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