#include<iostream>
#include<algorithm>
#include<string>
using namespace std;
//typedef __int64 LL;
int main(){
    int N;
    cin>>N;
    cout<<(double)N*3.5<<endl;
    return 0;
}