#include<bits/stdc++.h> using namespace std; int main() { double n; cin>>n; if(n<=10.00) cout<<fixed<<setprecision(2)<<8.00n; else cout<<fixed<<setprecision(2)<<8.00n*(7.50/10.00); return 0; }