#include"bits/stdc++.h" using namespace std; int main(){ double n; cin>>n; if(n<=500)cout<<0.5*n; else cout<<0.5*500+0.8*(n-500); }