#include <stdio.h>
//直接强制在输出的时候转化类型就行别玩那些花里胡哨的
int main() {
   int cost;
   scanf("%d",&cost);
   if(cost<100){
    printf("%01f",cost);
   }else if(cost>=100&&cost<500){
    printf("%.1f",cost*0.9);
   }else if(cost>=500&&cost<2000){
    printf("%.1f",cost*0.8);
   }else if(cost>=2000&&cost<5000){
    printf("%.1f",cost*0.7);
   }else if(cost>=5000){
    printf("%.1f",cost*0.6);
   }
}