#include <stdio.h>
int main()
{
int s,num;//s表示工资,num用于计算工资在哪个段内
float res;//表示最后的结果
scanf("%d",&s);
num=s/1000;
switch(num)
{
case(0): res=s; break;
case(1): res=s*(1-0.1) ;break;
case(2): res=s*(1-0.15);break;
case(3): res=s*(1-0.2);break;
default : res=s*(1-0.25);break;
}
printf("%.2f",res);
return 0;
}