#include #include #include #include #include #include #include #include #include #define rep(i,l,n) for(lint i=l;i vi; typedef vector vli; typedef vector vvi; typedef pair pii; int main(){ double n; cin>>n; printf("%lf\n",3.5*n); }