#include<stdio.h>

int main()
{
    int q;
    scanf("%d",&q);
    if(q<0)
    {
        printf("Invalid input");
        return 0;
    }
    float c = q * 100;
    if(q <= 5)
    {
        c *= 0.9f;
    }
    else if(q<=10)
    {
        c *= 0.85f;
    }
    else
    {
        c *= 0.8f;    }
    printf("%.2f",c);
    return 0;
    }
}