#include <bits/stdc++.h>

using namespace std;

int main(void) {
  int n;
  cin >> n;
  printf("%.10f\n", n * 3.5);

  return 0;
}