#include int main() { int n; double sum; scanf("%d",&n); sum=(double)n*1.5; if(n%2==0){ printf("%.0d\n",sum); }else{ printf("%.0d\n",sum-0.5); } return 0; }