#include <stdio.h>

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