#include <iostream>

using namespace std;

int main()
{
	long long int N;
	cin >> N;
	N = N*3.5;
	cout << N << endl;
	return 0;
}