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