#include<bits/stdc++.h>
using namespace std;
int main(){
    int n;
    cin>>n;
    double ans=3.5*n;
    cout<<fixed<<ans<<endl;
}