#include<bits/stdc++.h>
using namespace std;
int main(void)
{
int n;
cin>>n;
if(n<=3500){
printf("%d",n);
}
else if(n<=4955){
int t=n-3500;
t=t/97*100;
printf("%d",3500+t);
}
else if(n<=7655){
int t=n-4955;
t=t/9*10;
printf("%d",5000+t);
}
else if(n<=11255){
int t=n-7655;
t=t/4*5;
printf("%d",8000+t);
}
else if(n<=30755){
int t=n-11255;
t=t/3*4;
printf("%d",12500+t);
}
else if(n<=44755){
int t=n-30755;
t=t/7*10;
printf("%d",38500+t);
}
else if(n<=61005){
int t=n-44755;
t=t/13*20;
printf("%d",58500+t);
}
else{
int t=n-61005;
t=t/11*20;
printf("%d",83500+t);
}
return 0;
}