#include <bits/stdc++.h>
using namespace std;

signed main(){
  int N; cin >> N;
  cout << fixed << setprecision( 6 ) << 3.5 * N << endl;
  return 0;
}