#include <iostream>

using namespace std;

int main(){
	int kazu;

	cin >> kazu;

	cout << kazu * 3.5 << endl;
}