#include <stdio.h>

int main() {
    int x = 0;
    scanf("%d", &x);
    if (x >= 5000){
        printf("%.1f", x*0.6);
    }
    else if(x >= 2000){
        printf("%.1f", x*0.7);
    }
    else if(x >= 500){
        printf("%.1f", x*0.8);
    }
    else if(x >= 100){
        printf("%.1f", x*0.9);
    }
    else{
        printf("%d", x);
    }
    return 0;
}