#include <stdio.h>
typedef long long ll;

int main()
{
    ll n;
    ll ans = 0;
    scanf("%lld", &n);

    ans = (n / 2) * 3 + (n % 2);

    printf("%lld\n", ans);
}