#include <stdio.h>

int main(void)
{
  int N;

  scanf("%d", &N);

  printf("%lf\n", (double)N*7/2);

  return 0;
}