#include <bits/stdc++.h>

inline long nextInt(void) {
  long temp;
  std::cin >> temp;
  return temp;
}

int main() {

  int N;

  std::cin >> N;
  printf("%.1lf\n", N*3.5);
  
  return 0;
}