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

int main() {
long long n=0,m=1;
cin>>n;

printf("%.5f\n", 3.5 * n);

}