#include <iostream>
using namespace std;

int main(){
double n;
cin >> n;
cout << n * 3.5 << endl;
}