#include <iomanip>
#include <iostream>

using namespace std;

int main(int argc, const char* argv[])
{
	int N;
	cin >> N;
	cout << fixed << setprecision(1) << 3.5 * N << endl;
	return 0;
}