#include<iostream>
using namespace std;

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