read n
echo $[n*3/2]