#include <iostream>
using namespace std;

int main(){
	int N;
	cin >> N;
	cout << N * 3.5 << endl;
	return 0;
}