#include <stdio.h>

int main(void) {
  double n;
  scanf("%lf", &n);

  printf("%d\n", (int)(1.5*n/1));
  return 0;
}