#include <iostream>
using namespace std;
#define rep(i,n) for(int i = 0; i < (n); i++)

int main(){
    int n; cin >> n;
    cout << n * 3.5 << endl;
    return 0;
}