#include<bits/stdc++.h>
using namespace std;

int main(){
	int n;
	cin >> n;
	double ans = 3.5 * n;
	printf("%f\n", ans);
}