#include <bits/stdc++.h>
using namespace std;

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