#include #define rep(i,n) for(int i = 0; i < (n); i++) using namespace std; typedef long long ll; int main(){ cin.tie(0); ios::sync_with_stdio(0); double N; cin >> N; cout.precision(17); cout << N * 7 / 2 << endl; }