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