#include <iostream>
using namespace std;
double n;
int main(){
    cin>>n;
    cout<<n*3.5<<endl;
    return 0;
}