#include <stdio.h>
int main(){
float a;
scanf("%f",&a);
if(a>=1000){
a=1000*0.95+(a-1000)*0.90;
printf("%.2f",a);
}
else printf("%.2f",a*0.95);
}
int main(){
float a;
scanf("%f",&a);
if(a>=1000){
a=1000*0.95+(a-1000)*0.90;
printf("%.2f",a);
}
else printf("%.2f",a*0.95);
}