#include<iostream>
using namespace std;
int main(void){
	double n; cin >> n;
	cout << n*3.5 << endl;
	return 0;
}