#include #include #include #include #include #include #include #include #include #include using namespace std; int main() { int n; cin>>n; double res=3.5*n; printf("%.16f\n",res); return 0; }