import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
public class Main{
public static void main(String[] args) throws IOException{
BufferedReader bf = new BufferedReader(new InputStreamReader(System.in));
String str = bf.readLine();
double price = Double.parseDouble(str);
double pay = 0;
if(price>=100 && price<500){
pay = price*0.9;
}
if(price>=500 && price<2000){
pay = price*0.8;
}
if(price>=2000 && price<5000){
pay = price*0.7;
}
if(price>=5000){
pay = price*0.6;
}
System.out.printf("%.1f",pay);
}
}
import java.io.IOException;
import java.io.InputStreamReader;
public class Main{
public static void main(String[] args) throws IOException{
BufferedReader bf = new BufferedReader(new InputStreamReader(System.in));
String str = bf.readLine();
double price = Double.parseDouble(str);
double pay = 0;
if(price>=100 && price<500){
pay = price*0.9;
}
if(price>=500 && price<2000){
pay = price*0.8;
}
if(price>=2000 && price<5000){
pay = price*0.7;
}
if(price>=5000){
pay = price*0.6;
}
System.out.printf("%.1f",pay);
}
}