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