#include<iostream>
#include<cstdio>
#include<vector>
using namespace std;

int main() {
	int n;
	cin >> n;
	cout << 3.5 * n << endl;

	return 0;
}