#include<stdio.h>
int main(){
    float money,s;
    scanf("%f",&s);
    if(s>=5000){
        money=0.6*s;
    }
    else if(s>=2000){
        money=0.7*s;
    }
    else if(s>=500){
        money=0.8*s;
    }
    else if(s>=100){
        money=0.9*s;
    }
    printf("%.1f",money);
    return 0;
}