#include <stdio.h>
main()
{
int s,t;
scanf("%d",&s);
if (s<=3500)
t=s;
else if (s<=5000)
t=3500+(s-3500)*0.97;
else if (s<=8000)
t=3500+1455+(s-5000)*0.9;
else if (s<=12500)
t=3500+1455+2700+(s-8000)*0.8;
else if (s<=38500)
t=3500+1455+2700+3600+(s-12500)*0.75;
else
t=3500+1455+2700+3600+19500+(s-38500)*0.7;
printf("%d",t);
}