#include <iostream>
using namespace std;

int main()
{
	int n;
	cin >> n;
	printf("%.1f", 3.5 * n);
}