#include <bits/stdc++.h>
using namespace std;
int main() {
	int N;
	double ans;
	cin >> N;
	ans = 3.5 * N;
	cout << fixed << setprecision(10) << ans << endl;
	return 0;
}