#include <bits/stdc++.h>
using namespace std;
int main() {
int N; cin >> N;
cout << N * 3.5 << endl;
return 0;
}