import java.util.Scanner;
        import java.util.spi.AbstractResourceBundleProvider;

public class TradeComissions {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        String city = scanner.nextLine();
        double sales = Double.parseDouble(scanner.nextLine());
        ;
        double comission = -1.0;
        if (city.equals("Sofia")) {
            if (sales >= 0 && sales <= 500) comission = 0.05;
            else if (sales > 500 && sales <= 1000) comission = 0.07;
            else if (sales > 1000 && sales <= 10000) comission = 0.08;
            else {
                comission = 0.12;
            }

        } else if (city.equals("Varna")) {
            if (sales >= 0 && sales <= 500) comission = 0.045;
            else if (sales > 500 && sales <= 1000) comission = 0.075;
            else if (sales > 1000 && sales <= 10000) comission = 0.10;
            else {
                comission = 0.13;

            }
        } else if (city.equals("Plovdiv")) {
            if (sales >= 0 && sales <= 500) comission = 0.055;
            else if (sales > 500 && sales <= 1000) comission = 0.08;
            else if (sales > 1000 && sales <= 10000) comission = 0.12;
            else {
                comission = 0.145;
            }
        }

        if (comission >= 0) {
            System.out.printf("%.2f", comission * sales);
        } else {
            System.out.println("error");

        }
    }
}