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