#include <iostream>
using namespace std;

int main(){

	double N;
	cin >> N;

	double A = N * 7 / 2;


	cout << A <<endl;
}