//No.57 ミリオンダイス
#include <iostream>
#include <iomanip>
using namespace std;

signed main(){
    int n; cin >> n;
    cout << fixed << setprecision(16);
    cout << 3.5*n << endl;
}