#include <stdio.h>
#include <stdlib.h>
int main()
{int a;
double s;
scanf("%lf",&s);
a=s/1000;
switch(a)
{
case 0:s=s;
printf("%.2lf",s);
break;
case 1:s=s0.9 ;
printf("%.2lf",s);
case 2:s=s0.85;
printf("%.2lf\n",s);
break;
case 3:s=s0.80;
printf("%.2lf",s);
break;
default:printf("%.2lf",s0.75);
}
return 0;
}