#include <iostream>

using namespace std;

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

	return 0;
}