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