#include <stdio.h>

int main() {
  int n;
  scanf("%d", &n);

  printf("%lf\n", (double)(n*6/2.0+n/2.0));
  return 0;
}