#include <iostream>
#include <cstdio>

using namespace std;

int main()
{
	int N;
	cin >> N;
	double ans = 3.5 * N;
	printf("%f\n", ans);
}