import sys
readline=sys.stdin.readline

N=int(readline())
ans=3*N//2
print(ans)