#include <stdio.h>

int main() {
    int i;
    scanf("%d",&i);
    float c;
    if(i>=100&&i<500)
    {
        c=(i/10)*9;
    
    }
    if(i>=500&&i<2000)
    {
        c=(i/10)*8;
    }
    if(i>=2000&&i<5000)
{
    c=(i/10)*7;
}    
if(i>5000)
{
    c=(i/10)*6;
}
printf("%f",c);
    return 0;
   
}