#include <iostream>
using namespace std;

int main()
{
	int n;
	cin >> n;

	cout << n*3.5 << endl;

    return 0;
}