#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; int main() { double n; cin >> n; printf ("%.1f\n", n*3.5); }