#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i,n) for(int i=0;i<n;i++)
typedef pair<int,int>P;

int main(){
  double n;
  cin>>n;
  cout<<setprecision(18)<<(21.0/6.0)*n<<endl;
  return 0;
}