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