#include "bits/stdc++.h"

using namespace std;

const char en = '\n';
using  ll =          long long;
using ull = unsigned long long;

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

	return 0;
}